We design a Control Flow Analysis that computes an over-approximation of all ambients that may be affected at run-time by high-level data and we show that this static analysis can be used to enforce non-interference, i.e., to statically detect that no (direct or indirect) information leakage is ever possible at run-time.
David Larochelle, David Evans, Statically Detecting Likely Buffer Overflow Vulnerabilities, 2001 USENIX Security Symposium, Washington, D.C., August 13-17 2001.
ESC/Java2 is a tool that statically detects errors in Java programs and that uses the Java Modeling Language (JML) as its annotation language.
We say this in the sense that we can statically detect a large set of would-be runtime errors, and that the runtime system will not incorrectly execute an application, once the latter is deployed.
Inconsistencies in an application are often not detected statically, but appear as errors at run-time.
Approximately 75% of all respondents reported typically infusing a single FVIII product vial at any one time; however, a chi-square test detected a statically significant difference between patients and caregivers, with more patients than caregivers infusing with multiple vials (42% vs. 16%, respectively; P = 0.004).
We describe some of the main aspects of the Ciao modular compiler, ciaoc, which takes advantage of the characteristics of the Ciao Prolog module system to automatically perform separate and incremental compilation and efficiently build small, standalone executables with competitive run-time performance, ciaoc can also detect statically a larger number of programming errors.
Therefore, because our findings are consistent with one previous study [ 53], we interpret the discrepant results as a lack of statically power to detect a difference given the smaller sample size in our complete case analysis.
About equivalent mutants: one of the objectives of the study is to verify if a given mutation produced is detected by FindBugs Tool, and this is done statically, without the necessity of the mutant execution.
Thus, for example, for the simulation environment shown in Figure 4 with 500,000 rays, unlimited reflections, assuming that the minimum power detected by the photodetector is 10 12 W, and statically distributing the rays among 16 processors, the average number of reflections per processor is 15.01 ± 0.02.
