index
:
codan.git
disjunct-exp
master
Framework based on Property Simulation for Eclipse CDT static code analysis.
Elliott Baron
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
org.eclipse.cdt.codan.extension
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix Javadoc comment.
Elliott Baron
2010-01-17
1
-1
/
+1
*
Documented API classes/interfaces.
Elliott Baron
2009-12-15
2
-2
/
+36
*
Create abstract checker to use Property Simulation. Clean up code.
Elliott Baron
2009-12-14
6
-61
/
+132
*
Properly handle binary expressions, improved debugging output, handle propert...
Elliott Baron
2009-12-11
2
-30
/
+45
*
Refactored conditional parsing to an ASTVisitor.
Elliott Baron
2009-11-17
2
-72
/
+102
*
Handle NULL in variable assignments and conditionals.
Elliott Baron
2009-11-17
4
-36
/
+63
*
Fixed infinite loop bug for loop structures.
Elliott Baron
2009-11-16
3
-15
/
+77
*
Remove truth assignments at merge points, based on dominance in CFG.
Elliott Baron
2009-11-09
5
-20
/
+75
*
Added fopen/fclose checker. Created abstract open/close checker.
Elliott Baron
2009-11-08
4
-133
/
+207
*
Moved property simulation code to PropertySimulator class. Improved resolving...
Elliott Baron
2009-11-08
8
-324
/
+477
*
Implemented Quine-McCluskey algorithm to join execution states. Property simu...
Elliott Baron
2009-11-01
8
-52
/
+492
*
Fixed handling of nested if statements.
Elliott Baron
2009-10-31
2
-17
/
+38
*
PSA working for simple variable assignments and conditionals. PropSim impleme...
Elliott Baron
2009-10-25
5
-48
/
+300
*
Transition for branching complete; execution state made of CNF clauses of var...
Elliott Baron
2009-10-12
7
-194
/
+270
*
Initial implementation of intra-procedural property simulation.
Elliott Baron
2009-10-05
7
-157
/
+601
*
Created .extension plugin with my modifications. Initial use of CFG, pulled i...
Elliott Baron
2009-09-21
2
-0
/
+229