Again, we used this information to define another incremental strategy for applying mutation operators considering faults modeled by these operators are very difficult to be statically detected by FindBugs.
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.
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.
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.
The Faraday collectors were statically set to simultaneously detect the required isotopes: 172Yb (low 4), 173Yb (low 3), 175Lu (low 2), 176 Yb+Lu+Hf) (low 1), 177Hf (axial), 178Hf (high 1), 179Hf (high 2) and 180Hf (high 3), respectively.
The later by avoiding the generation of mutants for that mutation operators which static analyzers are adequate to detect their faults statically.
We present a way to weave aspects in a less conflict-prone manner, and a means to detect remaining conflicts statically.
The results show that the 'Virtual Axle' method is able to detect small local damages in statically indeterminate structures.
In a simple case we show how to statically check whether program execution satisfies timing constraints.
