aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive
AgeCommit message (Expand)Author
2008-10-22Adjust parameter order to more natural one.Zhongxing Xu
2008-10-21Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.Zhongxing Xu
2008-10-21Add partial specialization of ImmutableList for GRStatePartialTrait.Ted Kremenek
2008-10-21Rename:Zhongxing Xu
2008-10-21Add ElementRegion to represent memory chunks for array elements.Zhongxing Xu
2008-10-21Change signature for CheckDivideZero.Ted Kremenek
2008-10-17Add pretty-printing support for FieldRegions.Ted Kremenek
2008-10-17Fixed an elusive caching bug in ExplodedGraph construction when a PostStmtKin...Ted Kremenek
2008-10-17- constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-17Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek
2008-10-17Add transfer function support for ObjCIvarRefExpr.Ted Kremenek
2008-10-16This is the first step to build a better evaluation model for GRExprEngine. AZhongxing Xu
2008-10-08This is the first step to implement a field-sensitive store model. Other thin...Zhongxing Xu
2008-10-07Migrate MemRegionManager from StateManager to StoreManager.Zhongxing 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-10-01Add a QualType to ConjuredSymbol to represent the type and size of the symbol.Ted Kremenek
2008-09-29Extend 'IsLValType' to handle BlockPointerTypes.Ted Kremenek
2008-09-21Add a bug category for NSError** checks.Ted Kremenek
2008-09-20Add "category" to BugTypes, allowing bugs to be grouped.Ted Kremenek
2008-09-20Add PostStore, a new ProgramPoint to distinguish between 'stores' and other P...Ted Kremenek
2008-09-18Implement second part of PR 2600: NSError** parameter may be null, and should...Ted Kremenek
2008-09-18Change implementation of NSError** coding-style check to be invoked at the en...Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek
2008-09-03Store: (static analyzer)Ted Kremenek
2008-09-02Fit the comments into 80 columns.Zhongxing Xu
2008-08-29Added LLVM comment header.Zhongxing Xu
2008-08-29Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu
2008-08-29Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager.Ted Kremenek
2008-08-28Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St...Ted Kremenek
2008-08-28Remove Regions.h and Regions.cpp, since we are now using an even more abstrac...Ted Kremenek
2008-08-28Make store "Regions" and "Bindings" more abstract instead of concrete variants.Ted Kremenek
2008-08-28Fixed analyzer caching bug involving the transfer function for loads.Ted Kremenek
2008-08-28Fixed analyzer caching bug in DeclStmt.Ted Kremenek
2008-08-27Make the destructor of ConstraintManager virtual.Ted Kremenek
2008-08-27Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu
2008-08-27Added "Auditor" interface for auditing the construction of ExplodedGraphs.Ted Kremenek
2008-08-27Make implementation of ExplodedNodeImpl::addPredecessor out-of-line.Ted Kremenek
2008-08-26Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode().Ted Kremenek
2008-08-25Added 'extents' for Regions.Ted Kremenek
2008-08-23Simplify interface to Store::AddDeclTed Kremenek
2008-08-23Added Regions.h: Regions define abstract memory locations for the static anal...Ted Kremenek
2008-08-21Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu
2008-08-20Patch by Zhongxing Xu: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-17Migrate the retain/release checker to not manage the RefBindings::Factory objectTed Kremenek
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
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 18:17:37 +0000