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
2010-06-26	Update codan plugins to CDT 7.0.HEAD master	Elliott Baron	337	-1692/+12443
2010-01-17	Fix Javadoc comment.	Elliott Baron	1	-1/+1
2009-12-16	Update codan plugins to HEAD.	Elliott Baron	77	-59/+516
2009-12-15	Documented API classes/interfaces.	Elliott Baron	2	-2/+36
2009-12-14	Create abstract checker to use Property Simulation. Clean up code.	Elliott Baron	6	-61/+132
2009-12-11	Properly handle binary expressions, improved debugging output, handle propert...	Elliott Baron	2	-30/+45
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
[...]

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