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	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