summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/GRState.cpp
Commit message (Expand)AuthorAgeFilesLines
* To make the analysis independent on the locally stored liveness and cfgZhongxing Xu2009-08-171-5/+5
* Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat...Ted Kremenek2009-08-021-2/+1
* Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek2009-07-221-2/+2
* Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek2009-07-131-4/+2
* Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.Chris Lattner2009-06-301-2/+4
* Remove the last 'GetXXX' methods from GRStateManager.Ted Kremenek2009-06-271-0/+31
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-11/+9
* Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal().Ted Kremenek2009-06-241-0/+16
* Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek2009-06-231-6/+6
* API cleanup: move more methods from GRStateManager to GRState.Ted Kremenek2009-06-231-1/+1
* Remove GRStateRef.Ted Kremenek2009-06-181-8/+7
* Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek2009-06-181-17/+10
* Start moving in the direction of removing GRStateRef. Now eachTed Kremenek2009-06-171-7/+4
* analyzer: Introduce a new class, ValueManager, that serves as an aggregateTed Kremenek2009-04-091-1/+1
* Simplify more code by using SVal::getAsSymbol() instead ofTed Kremenek2009-03-301-12/+6
* Adjust indentation.Zhongxing Xu2009-03-041-1/+1
* Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform aTed Kremenek2009-03-041-2/+2
* Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek2009-03-031-1/+1
* Fix extra ';' bug noticed by Mike Stump.Ted Kremenek2009-03-031-1/+1
* Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek2009-03-031-11/+67
* Added GRStateManager::scanReachableSymbols(), a method which scans the reachableTed Kremenek2009-02-141-1/+30
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-10/+7
* Lazy bingding for region-store manager.Zhongxing Xu2008-12-201-45/+7
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-1/+1
* StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek2008-12-051-7/+7
* GRStateRef:Ted Kremenek2008-11-121-7/+2
* Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu2008-11-071-3/+2
* Fix 80-col violations.Zhongxing Xu2008-11-031-2/+2
* Rename:Zhongxing Xu2008-10-301-2/+1
* Rename: AddDecl => BindDeclZhongxing Xu2008-10-291-5/+4
* Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek2008-10-271-0/+20
* Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.Zhongxing Xu2008-10-211-1/+1
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-10/+10
* This is the first step to build a better evaluation model for GRExprEngine. AZhongxing Xu2008-10-161-7/+7
* Remove redundant parameter and rename StMgr to StateMgr.Zhongxing Xu2008-10-051-3/+3
* This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek2008-10-041-7/+6
* Implement second part of PR 2600: NSError** parameter may be null, and should...Ted Kremenek2008-09-181-0/+6
* Patch by Csaba Hruska!Ted Kremenek2008-09-131-2/+6
* Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu2008-08-291-137/+7
* Make the destructor of ConstraintManager virtual.Ted Kremenek2008-08-271-1/+5
* Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu2008-08-271-238/+0
* adjust to changes in various APIs from LLVM. We can't printChris Lattner2008-08-231-4/+6
* Simplify interface to Store::AddDeclTed Kremenek2008-08-231-2/+3
* Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu2008-08-211-0/+18
* Patch by Zhongxing Xu:Ted Kremenek2008-08-201-34/+2
* Patch by Zhongxing Xu: We should set back the modified ConstEq map.Ted Kremenek2008-08-201-1/+2
* Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek2008-08-191-18/+6
* Patch by Zhongxing Xu!Ted Kremenek2008-08-191-2/+3
* various updates to match r54873 on mainline.Chris Lattner2008-08-171-2/+2
* Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to ...Ted Kremenek2008-08-171-27/+26
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-29 11:31:50 +0000