| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added fopen/fclose checker. Created abstract open/close checker. | Elliott Baron | 2009-11-08 | 1 | -4/+15 |
| * | Initial implementation of intra-procedural property simulation. | Elliott Baron | 2009-10-05 | 1 | -1/+1 |
| * | Created .extension plugin with my modifications. Initial use of CFG, pulled i... | Elliott Baron | 2009-09-21 | 1 | -0/+19 |
 |
index : codan.git | |
| Framework based on Property Simulation for Eclipse CDT static code analysis. | Elliott Baron |
| summaryrefslogtreecommitdiffstats |