aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRState.cpp
AgeCommit message (Expand)Author
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
2008-08-13Rename ValueState.h -> GRState.hTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-08 07:15:50 +0000