A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In previous work researchers have proposed higher-level formalisms suitable for wholeprogram analysis in a separate tool, incremental analysis within editors, or bound to a specific intermediate representation ... It is an integral part of modern language specifications and compilers. ... Conclusion We have presented FLOWSPEC, a declarative specification language for the domain of data-flow analysis. ...doi:10.1016/j.cola.2019.100924 fatcat:kclleykm3vfd3hd7t7n7jf6uau
Based on flow-based static analysis, it represents a first step towards a new approach that can be applied to untrusted and legacy source code to automatically verify that the analyzed program complies ... The analysis works by constructing a conservative approximation of expressions over input channel values that could be output by the program, and by determining whether all such expressions satisfy the ... In dataflow-based approaches, an analysis calculates dependence relationships between program variables; non-interference is ensured if low variables are independent from high variables. ...doi:10.1109/sp.2010.14 dblp:conf/sp/RochaBHWE10 fatcat:m6x3diqkanah7dbxitg7xezxze
BGP Flowspecs; some knobs allow to accept but not apply them, defeating their own purpose. ... Table of Contents In this talk, we report on the analysis of 4 years of data collected by an infrastructure specifically designed to answer that question: are intentional stealthy BGP hijacks routinely ... A specific paradigmatic example of this technological convergence and the ethical problems that it gives rise to is discussed in this talk. ...doi:10.4230/dagrep.8.6 fatcat:3ssdbne26vbafli4wg4udjocly
Dataflow-based approaches can also be implemented as runtime enforcers, and one such example is taint analysis [LL05, TPF + 09], which keeps track of program modules/structures which are dependent of ( ... We can make the analysis termination-sensitive either by disallowing while loops under high conditionals or introducing a flow between the conditional in which the loop is declared to all the output channels ...doi:10.6100/ir720730 fatcat:xm46b6izvfghfeh67sotescnk4