| Age | Commit message (Expand) | Author |
|---|
| 2012-12-04 | Sort #include lines for all files under include/... | Chandler Carruth |
| 2011-08-12 | Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a... | Ted Kremenek |
| 2011-07-20 | now that we have a centralized place to do so, add some using declarations for | Chris Lattner |
| 2011-03-01 | In preparation for fixing PR 6884, rework CFGElement to have getAs<> return p... | Ted Kremenek |
| 2011-02-11 | Don't report dead stores on unreachable code paths. Fixes <rdar://problem/84... | Ted Kremenek |
| 2010-09-16 | Fix the clang build after Zhongxing Xu's commit. | John McCall |
| 2010-09-16 | Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch | Zhongxing Xu |
| 2010-07-23 | Dataflow solver: Don't overrwite the initial value of a block with top unless... | Ted Kremenek |
| 2010-03-31 | For reverse data flow analyses, enqueue the blocks in reverse order. | Ted Kremenek |
| 2010-03-31 | Tweak DataFlowSolver's worklist data structure to have an ordered worklist | Ted Kremenek |
| 2009-12-19 | Remove ';' after method definition. Noticed by clang++, which one would think | Daniel Dunbar |
| 2009-11-15 | Make a couple more headers standalone | Douglas Gregor |
| 2009-10-12 | Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, s... | Ted Kremenek |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-08-15 | Extend the ProgramPoint to include the context information LocationContext, | Zhongxing Xu |
| 2009-07-20 | Update DataflowSolver to handle the case where a successor/predecessor block | Ted Kremenek |
| 2009-07-16 | Move the source-level CFG from libAST to libAnalysis. | Ted Kremenek |
| 2009-01-30 | Fix horrible non-termination bug in LiveVariables. The issue was that | Ted Kremenek |
| 2008-09-23 | Fix PR 2819: Compute dataflow values for all CFG blocks by not relying on hav... | Ted Kremenek |
| 2008-09-16 | ProgramPoint now takes the space of two pointers instead of one. This change was | Ted Kremenek |
| 2008-04-16 | Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a ... | Ted Kremenek |
| 2008-04-15 | Fix bug in terminator processing for uninitialized-values: simply ignore the ... | Ted Kremenek |
| 2008-04-15 | Added initial support into the flow-sensitive dataflow solver to visit the Bl... | Ted Kremenek |
| 2008-01-18 | Changed DataflowSolver to always associated recorded dataflow values with | Ted Kremenek |
| 2008-01-17 | Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This | Ted Kremenek |
| 2008-01-17 | Added support to dataflow solver to (when requested) also record dataflow | Ted Kremenek |
| 2008-01-11 | Renamed ProgramEdge.h to ProgramPoint.h | Ted Kremenek |
| 2008-01-11 | Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge | Ted Kremenek |
| 2007-12-29 | Don't attribute in file headers anymore. See llvmdev for the | Chris Lattner |
| 2007-10-02 | Moved ProgramEdge out out include/.../Analysis/PathSensitive to include/.../A... | Ted Kremenek |
| 2007-09-25 | Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client | Ted Kremenek |
