Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixed infinite loop bug for loop structures. | Elliott Baron | 2009-11-16 | 1 | -0/+14 |
* | Remove truth assignments at merge points, based on dominance in CFG. | Elliott Baron | 2009-11-09 | 1 | -0/+22 |
![]() |
index : codan.git | |
Framework based on Property Simulation for Eclipse CDT static code analysis. | Elliott Baron |
summaryrefslogtreecommitdiffstats |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixed infinite loop bug for loop structures. | Elliott Baron | 2009-11-16 | 1 | -0/+14 |
* | Remove truth assignments at merge points, based on dominance in CFG. | Elliott Baron | 2009-11-09 | 1 | -0/+22 |