| Age | Commit message (Expand) | Author |
|---|
| 2009-10-07 | Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding mal... | Ted Kremenek |
| 2009-09-10 | Make AnalysisManager stateless. Now other analyzer components only depends on | Zhongxing Xu |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-08-25 | Remove CodeDecl and CFG from GRExprEngine and GRStateManager. | Zhongxing Xu |
| 2009-08-25 | Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. | Zhongxing Xu |
| 2009-08-21 | Remove 'AnalysisContext::setDecl()', as we the Decl associated with an | Ted Kremenek |
| 2009-08-20 | Rename: ProgramPoint::getContext() => ProgramPoint::getLocationContext(). | Zhongxing Xu |
| 2009-08-15 | Extend the ProgramPoint to include the context information LocationContext, | Zhongxing Xu |
| 2009-08-12 | More cleanups. | Zhongxing Xu |
| 2009-08-06 | Last step of template cleanup: merge *BuilderImpl to *Builder. | Zhongxing Xu |
| 2009-08-06 | Core analysis engine template cleanup step 2: | Zhongxing Xu |
| 2009-08-06 | Core analysis engine template cleanup step 2: | Zhongxing Xu |
| 2009-08-06 | As GRState seems general enough, it is time to merge some template classes | Zhongxing Xu |
| 2009-07-22 | Implement operator= for ExplodedNodeSet. | Ted Kremenek |
| 2009-05-13 | Add ExplodedNode utility methods 'getLocationAs()' and 'getFirstPred()' | Ted Kremenek |
| 2009-02-18 | Hooked up the necessary machinery to allow the retain/release checker reference | Ted Kremenek |
| 2009-02-04 | Overhaul BugReporter interface and implementation. The new interface cleans up | Ted Kremenek |
| 2009-01-24 | More hacking on static analyzer diagnostics. When emitting summary diagnosti... | Ted Kremenek |
| 2008-08-27 | Added "Auditor" interface for auditing the construction of ExplodedGraphs. | Ted Kremenek |
| 2008-08-27 | Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. | Ted Kremenek |
| 2008-07-10 | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek |
| 2008-04-23 | When building PathDiagnostics for bug reports, generate a trimmed ExplodedGra... | Ted Kremenek |
| 2008-04-11 | Added "GREndPathNodeBuilder", a new node builder that will be used for | Ted Kremenek |
| 2008-04-09 | Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. | Ted Kremenek |
| 2008-04-03 | Added node_iterator to ExplodedGraph to allow iteration over all nodes in | Ted Kremenek |
| 2008-04-02 | Fix copy-paste error. | Ted Kremenek |
| 2008-03-27 | ProgramPoint is just a smart pointer; no reason to return a constant reference. | Ted Kremenek |
| 2008-03-14 | Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing | Ted Kremenek |
| 2008-03-07 | Added --trim-path-graph to the driver to trim paths from the ExplodedGraph | Ted Kremenek |
| 2008-03-05 | Fixed bug that could case unwanted bifurcation of states when evaluating calls. | Ted Kremenek |
| 2008-03-05 | Fixed a horribly insidious bit-masking bug in the implementation of | Ted Kremenek |
| 2008-03-05 | Plug-in transfer function "EvalCall" now takes as an argument the current | Ted Kremenek |
| 2008-03-05 | Cleaned up typedefs involving StateTy so that we always use "StateTy*" instea... | Ted Kremenek |
| 2008-03-04 | Moved GRExprEngine::NodeSet out of GRExprEngine and made it a standalone clas... | Ted Kremenek |
| 2008-03-04 | Fixed another obscure node-caching bug. | Ted Kremenek |
| 2008-03-03 | Fixed subtle caching bug in ExplodedGraph that would cause some nodes to | Ted Kremenek |
| 2008-02-28 | Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:... | Ted Kremenek |
| 2008-02-18 | Added "size()" and "empty()" methods to ExplodedGraphImpl. | Ted Kremenek |
| 2008-02-15 | Simplified transfer function logic for ++/-- operators. | Ted Kremenek |
| 2008-02-13 | Added support to GRCoreEngine/GRExprEngine for processing control-flow | Ted Kremenek |
| 2008-02-13 | Renamed class GREngine => GRCoreEngine. | Ted Kremenek |
| 2008-02-13 | Added support to GREngine/GRConstants for handling computed gotos. | Ted Kremenek |
| 2008-02-05 | ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph. | Ted Kremenek |
| 2008-01-30 | Implemented some branch pruning in GRConstants using != and == for | Ted Kremenek |
| 2008-01-29 | Added boilerplate logic in GREngine for processing branches. | Ted Kremenek |
| 2008-01-29 | Renamed GRNodeBuilder to GRStmtNodeBuilder. | Ted Kremenek |
| 2008-01-29 | Driver now passes the top-level FunctionDecl* to GRConstants. | Ted Kremenek |
| 2008-01-16 | Fixed invalid typedefs in the root and eop iterators for ExplodedGraph. | Ted Kremenek |
| 2008-01-16 | Added missing ctor to ExplodedGraph. | Ted Kremenek |
| 2008-01-16 | Hooked up the GRConstants analysis to the driver. | Ted Kremenek |
