| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Create abstract checker to use Property Simulation. Clean up code. | Elliott Baron | 2009-12-14 | 1 | -1/+3 |
| * | Properly handle binary expressions, improved debugging output, handle propert... | Elliott Baron | 2009-12-11 | 1 | -28/+41 |
| * | Refactored conditional parsing to an ASTVisitor. | Elliott Baron | 2009-11-17 | 1 | -72/+2 |
| * | Handle NULL in variable assignments and conditionals. | Elliott Baron | 2009-11-17 | 1 | -17/+1 |
| * | Fixed infinite loop bug for loop structures. | Elliott Baron | 2009-11-16 | 1 | -13/+61 |
| * | Remove truth assignments at merge points, based on dominance in CFG. | Elliott Baron | 2009-11-09 | 1 | -3/+30 |
| * | Moved property simulation code to PropertySimulator class. Improved resolving... | Elliott Baron | 2009-11-08 | 1 | -0/+361 |
 |
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/PropertySimulator.java