Age | Commit message (Expand) | Author |
---|---|---|
2007-12-21 | Directory restructing of Analysis files. | Ted Kremenek |
2007-10-01 | Migrated LiveVariables and UninitializedVariables to now use the | Ted Kremenek |
2007-09-28 | Significant cleanups and bug-fixes to LiveVariables. Uses new refactored | Ted Kremenek |
2007-09-25 | Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client | Ted Kremenek |
2007-09-25 | Further refactored DataflowSolver. Now most code for the solver is shared | Ted Kremenek |
2007-09-10 | Fixed LiveVariables to no longer track the liveness of function pointers | Ted Kremenek |
2007-09-10 | Renaming of the LiveVariablesAuditor interface. Changed "Auditor" and | Ted Kremenek |
2007-09-06 | Added "Dead Stores", a flow-sensitive checker that checks for stores | Ted Kremenek |
2007-09-06 | LiveVariables: | Ted Kremenek |
2007-09-06 | Added an early implementation of Live-Variables analysis built on | Ted Kremenek |