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

	Commit message (Expand)	Author	Age	Files	Lines
*	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	1	-305/+39
*	Implemented Quine-McCluskey algorithm to join execution states. Property simu...	Elliott Baron	2009-11-01	1	-6/+9
*	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	1	-20/+146
*	Transition for branching complete; execution state made of CNF clauses of var...	Elliott Baron	2009-10-12	2	-180/+86
*	Initial implementation of intra-procedural property simulation.	Elliott Baron	2009-10-05	2	-0/+471