aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRState.cpp
AgeCommit message (Expand)Author
2009-06-30Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.Chris Lattner
2009-06-27Remove the last 'GetXXX' methods from GRStateManager.Ted Kremenek
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-24Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal().Ted Kremenek
2009-06-23Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek
2009-06-23API cleanup: move more methods from GRStateManager to GRState.Ted Kremenek
2009-06-18Remove GRStateRef.Ted Kremenek
2009-06-18Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek
2009-06-17Start moving in the direction of removing GRStateRef. Now eachTed Kremenek
2009-04-09analyzer: Introduce a new class, ValueManager, that serves as an aggregateTed Kremenek
2009-03-30Simplify more code by using SVal::getAsSymbol() instead ofTed Kremenek
2009-03-04Adjust indentation.Zhongxing Xu
2009-03-04Add "GetSValAsScalarOrLoc" methods to GRState/GRStateRef that only perform aTed Kremenek
2009-03-03Don't use std::auto_ptr with getSubRegionMap().Ted Kremenek
2009-03-03Fix extra ';' bug noticed by Mike Stump.Ted Kremenek
2009-03-03Implement FIXME: GRStateManager::scanReachableSymbols now supports scanning M...Ted Kremenek
2009-02-14Added GRStateManager::scanReachableSymbols(), a method which scans the reachableTed Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2008-12-20Lazy bingding for region-store manager.Zhongxing Xu
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-12-05StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRStat...Ted Kremenek
2008-11-12GRStateRef:Ted Kremenek
2008-11-07Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is Zhongxing Xu
2008-11-03Fix 80-col violations.Zhongxing Xu
2008-10-30Rename:Zhongxing Xu
2008-10-29Rename: AddDecl => BindDeclZhongxing Xu
2008-10-27Added preliminary support for CompoundLiterals in the static analyzer:Ted Kremenek
2008-10-21Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.Zhongxing Xu
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-16This is the first step to build a better evaluation model for GRExprEngine. AZhongxing Xu
2008-10-05Remove redundant parameter and rename StMgr to StateMgr.Zhongxing Xu
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-09-18Implement second part of PR 2600: NSError** parameter may be null, and should...Ted Kremenek
2008-09-13Patch by Csaba Hruska!Ted Kremenek
2008-08-29Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu
2008-08-27Make the destructor of ConstraintManager virtual.Ted Kremenek
2008-08-27Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu
2008-08-23adjust to changes in various APIs from LLVM. We can't printChris Lattner
2008-08-23Simplify interface to Store::AddDeclTed Kremenek
2008-08-21Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu
2008-08-20Patch by Zhongxing Xu:Ted Kremenek
2008-08-20Patch by Zhongxing Xu: We should set back the modified ConstEq map.Ted Kremenek
2008-08-19Move store pretty-printing logic inside of StoreManager (previously in GRState).Ted Kremenek
2008-08-19Patch by Zhongxing Xu!Ted Kremenek
2008-08-17various updates to match r54873 on mainline.Chris Lattner
2008-08-17Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to ...Ted Kremenek
2008-08-17Added GRStateTrait.h, which includes boilerplate code for creating specializa...Ted Kremenek
2008-08-16GRState:Ted Kremenek
2008-08-14Migrated retain/release checker to use the Generic Data Map in GRState (insteadTed Kremenek
2008-08-13Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 17:36:02 +0000