summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRState.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Added GRStateTrait.h, which includes boilerplate code for creating specializa...Ted Kremenek2008-08-171-38/+4
* GRState:Ted Kremenek2008-08-161-34/+120
* Migrated retain/release checker to use the Generic Data Map in GRState (insteadTed Kremenek2008-08-141-5/+22
* Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek2008-08-131-10/+11
* Rename ValueState.h -> GRState.hTed Kremenek2008-08-131-0/+575
OpenPOWER on IntegriCloud