| Age | Commit message (Expand) | Author |
|---|
| 2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
| 2010-01-11 | Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. | Zhongxing Xu |
| 2009-12-01 | Fix early-return logic in scanReachableSymbols() to match the rest of the rec... | Ted Kremenek |
| 2009-11-28 | lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace | Kovarththanan Rajaratnam |
| 2009-11-26 | Added batch versions of GRState::scanReachableSymbols() so that clients can s... | Ted Kremenek |
| 2009-11-12 | Remove obsolete 'struct NullDerefTag'. | Ted Kremenek |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-08-27 | Rename 'bindExpr' to 'BindExpr'. | Ted Kremenek |
| 2009-08-27 | Move the AnalysisContext* from GRState to Environment. | Ted Kremenek |
| 2009-08-27 | Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, g... | Ted Kremenek |
| 2009-08-25 | Remove CodeDecl and CFG from GRExprEngine and GRStateManager. | Zhongxing Xu |
| 2009-08-17 | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu |
| 2009-08-02 | Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat... | Ted Kremenek |
| 2009-07-22 | Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. | Ted Kremenek |
| 2009-07-13 | Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an... | Ted Kremenek |
| 2009-06-30 | Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. | Chris Lattner |
| 2009-06-27 | Remove the last 'GetXXX' methods from GRStateManager. | Ted Kremenek |
| 2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
| 2009-06-24 | Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal(). | Ted Kremenek |
| 2009-06-23 | Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). | Ted Kremenek |
| 2009-06-23 | API cleanup: move more methods from GRStateManager to GRState. | Ted Kremenek |
| 2009-06-18 | Remove GRStateRef. | Ted Kremenek |
| 2009-06-18 | Remove more dependencies on GRStateRef. As a consequence, we can now | Ted Kremenek |
| 2009-06-17 | Start moving in the direction of removing GRStateRef. Now each | Ted Kremenek |
| 2009-04-09 | analyzer: Introduce a new class, ValueManager, that serves as an aggregate | Ted Kremenek |
| 2009-03-30 | Simplify more code by using SVal::getAsSymbol() instead of | Ted Kremenek |
| 2009-03-04 | Adjust indentation. | Zhongxing Xu |
| 2009-03-04 | Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform a | Ted Kremenek |
| 2009-03-03 | Don't use std::auto_ptr with getSubRegionMap(). | Ted Kremenek |
| 2009-03-03 | Fix extra ';' bug noticed by Mike Stump. | Ted Kremenek |
| 2009-03-03 | Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M... | Ted Kremenek |
| 2009-02-14 | Added GRStateManager::scanReachableSymbols(), a method which scans the reachable | Ted Kremenek |
| 2009-01-21 | Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle... | Ted Kremenek |
| 2008-12-20 | Lazy bingding for region-store manager. | Zhongxing Xu |
| 2008-12-05 | Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the... | Ted Kremenek |
| 2008-12-05 | StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat... | Ted Kremenek |
| 2008-11-12 | GRStateRef: | Ted Kremenek |
| 2008-11-07 | Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is | Zhongxing Xu |
| 2008-11-03 | Fix 80-col violations. | Zhongxing Xu |
| 2008-10-30 | Rename: | Zhongxing Xu |
| 2008-10-29 | Rename: AddDecl => BindDecl | Zhongxing Xu |
| 2008-10-27 | Added preliminary support for CompoundLiterals in the static analyzer: | Ted Kremenek |
| 2008-10-21 | Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. | Zhongxing Xu |
| 2008-10-17 | This patch did the following renaming. There should be no functional changes. | Zhongxing Xu |
| 2008-10-16 | This is the first step to build a better evaluation model for GRExprEngine. A | Zhongxing Xu |
| 2008-10-05 | Remove redundant parameter and rename StMgr to StateMgr. | Zhongxing Xu |
| 2008-10-04 | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek |
| 2008-09-18 | Implement second part of PR 2600: NSError** parameter may be null, and should... | Ted Kremenek |
| 2008-09-13 | Patch by Csaba Hruska! | Ted Kremenek |
| 2008-08-29 | Migrate the rest symbolic analysis stuff to BasicConstraintManager. | Zhongxing Xu |
