| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Create abstract checker to use Property Simulation. Clean up code. | Elliott Baron | 2009-12-14 | 1 | -5/+10 |
| * | Handle NULL in variable assignments and conditionals. | Elliott Baron | 2009-11-17 | 1 | -18/+5 |
| * | Remove truth assignments at merge points, based on dominance in CFG. | Elliott Baron | 2009-11-09 | 1 | -3/+5 |
| * | PSA working for simple variable assignments and conditionals. PropSim impleme... | Elliott Baron | 2009-10-25 | 1 | -4/+44 |
| * | Transition for branching complete; execution state made of CNF clauses of var... | Elliott Baron | 2009-10-12 | 1 | -0/+56 |
 |
index : codan.git | |
| Framework based on Property Simulation for Eclipse CDT static code analysis. | Elliott Baron |
| summaryrefslogtreecommitdiffstats |
path: root/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/VariableAssignmentVisitor.java