Tools
lattice.txt
Associated article: Value Lattice Static Analysis
Tags: Tools
Published source code accompanying the article by William Brew and Maggie Johnson in which they examine "value lattice," a new approach to static analysis that finds the most dangerous defects that tend to slip through testing.
Value Lattice & Static Analysis
by William Brew and Maggie Johnson
Example 1:
int foo() {
int x,y,z;
x=12;
y=17;
... // a series assignments to x and y
// no assignments are made to z
if (y>x)
x=1;
else
x=3;
...
