aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/GRState.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-05Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek
2009-12-31Let constraint manager inform checkers that some assumption logic has happend.Zhongxing Xu
2009-12-07Add analysis support for blocks. This includes a few key changes:Ted Kremenek
2009-11-28Cleanup llvm/Support/Compiler.h include in header filesKovarththanan Rajaratnam
2009-11-26Added batch versions of GRState::scanReachableSymbols() so that clients can s...Ted Kremenek
2009-11-13GRStateManager::CurrentStmt is not used. Remove it.Zhongxing Xu
2009-11-12Remove obsolete 'struct NullDerefTag'.Ted Kremenek
2009-11-07Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclSt...Ted Kremenek
2009-11-04Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,...Ted Kremenek
2009-10-26Update location of DataTypes.h to reflect move in LLVM with r85086.Chandler Carruth
2009-10-14* Remove unused GRState* parameterZhongxing Xu
2009-10-06Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-27Rename 'bindExpr' to 'BindExpr'.Ted Kremenek
2009-08-27Move the AnalysisContext* from GRState to Environment.Ted Kremenek
2009-08-27Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, g...Ted Kremenek
2009-08-25Remove CodeDecl and CFG from GRExprEngine and GRStateManager.Zhongxing Xu
2009-08-21Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek
2009-08-21Add LocationContext* field to VarRegion. This is needed for interprocedural ...Ted Kremenek
2009-08-17Remove unused variable.Zhongxing Xu
2009-08-17To make the analysis independent on the locally stored liveness and cfgZhongxing Xu
2009-08-06Core analysis engine template cleanup step 2: Zhongxing Xu
2009-08-02RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings ...Ted Kremenek
2009-08-02Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat...Ted Kremenek
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-21Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek
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-23Fix build.Ted Kremenek
2009-06-23Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek
2009-06-23Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek
2009-06-23Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit().Ted Kremenek
2009-06-23Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek
2009-06-23API cleanup: move more methods from GRStateManager to GRState.Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-23MemRegions:Ted Kremenek
2009-06-19Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, insteadTed Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-06-18Remove GRStateRef.Ted Kremenek
2009-06-18Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek
2009-06-18Remove another dependency on GRStateRef.Ted Kremenek
2009-06-17Remove more uses of GRStateRef.Ted Kremenek
2009-06-17Start moving in the direction of removing GRStateRef. Now eachTed Kremenek
2009-06-16Add utility method GRStateRef::makeWithStore().Ted Kremenek
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu
2009-05-09rename: MemRegion:Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-01 01:43:14 +0000