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