codan.git - Framework based on Property Simulation for Eclipse CDT static code analysis.

Branch	Commit message	Author	Age
disjunct-exp	Attempt to parse disjunctions into execution states. Most likely does not work.	Elliott Baron	14 years
master	Update codan plugins to CDT 7.0.	Elliott Baron	14 years


Age	Commit message	Author	Files	Lines
2009-12-08	Attempt to parse disjunctions into execution states. Most likely does not work.disjunct-exp	Elliott Baron	2	-24/+54
2009-11-17	Refactored conditional parsing to an ASTVisitor.	Elliott Baron	2	-72/+102
2009-11-17	Handle NULL in variable assignments and conditionals.	Elliott Baron	4	-36/+63
2009-11-16	Fixed infinite loop bug for loop structures.	Elliott Baron	3	-15/+77
2009-11-09	Remove truth assignments at merge points, based on dominance in CFG.	Elliott Baron	5	-20/+75
2009-11-08	Added fopen/fclose checker. Created abstract open/close checker.	Elliott Baron	5	-137/+222
2009-11-08	Moved property simulation code to PropertySimulator class. Improved resolving...	Elliott Baron	8	-324/+477
2009-11-01	Implemented Quine-McCluskey algorithm to join execution states. Property simu...	Elliott Baron	8	-52/+492
2009-10-31	Fixed handling of nested if statements.	Elliott Baron	2	-17/+38
2009-10-25	PSA working for simple variable assignments and conditionals. PropSim impleme...	Elliott Baron	5	-48/+300
[...]

Clone
git://fedorapeople.org/home/fedora/ebaron/public_git/codan.git
ssh://fedorapeople.org/home/fedora/ebaron/public_git/codan.git
https://fedorapeople.org/cgit/ebaron/public_git/codan.git