summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Attempt to parse disjunctions into execution states. Most likely does not work.disjunct-expElliott Baron2009-12-082-24/+54
* Refactored conditional parsing to an ASTVisitor.Elliott Baron2009-11-172-72/+102
* Handle NULL in variable assignments and conditionals.Elliott Baron2009-11-174-36/+63
* Fixed infinite loop bug for loop structures.Elliott Baron2009-11-163-15/+77
* Remove truth assignments at merge points, based on dominance in CFG.Elliott Baron2009-11-095-20/+75
* Added fopen/fclose checker. Created abstract open/close checker.Elliott Baron2009-11-085-137/+222
* Moved property simulation code to PropertySimulator class. Improved resolving...Elliott Baron2009-11-088-324/+477
* Implemented Quine-McCluskey algorithm to join execution states. Property simu...Elliott Baron2009-11-018-52/+492
* Fixed handling of nested if statements.Elliott Baron2009-10-312-17/+38
* PSA working for simple variable assignments and conditionals. PropSim impleme...Elliott Baron2009-10-255-48/+300
* Transition for branching complete; execution state made of CNF clauses of var...Elliott Baron2009-10-127-194/+270
* Initial implementation of intra-procedural property simulation.Elliott Baron2009-10-0514-569/+1141
* Created .extension plugin with my modifications. Initial use of CFG, pulled i...Elliott Baron2009-09-2179-13/+2651
* Support multiple open/close calls; ensure open called before close.Elliott Baron2009-08-311-25/+43
* Initial commit: New file.Elliott Baron2009-08-25222-0/+5463
generated by cgit (git 2.34.1) at 2024-04-25 05:24:54 +0000