aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRSimpleVals.cpp
AgeCommit message (Expand)Author
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-23Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-23MemRegions:Ted Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-16Do not invalidate unboundable regions in GRSimpleVals::EvalCall().Zhongxing Xu
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu
2009-05-08Fix <rdar://problem/6845148>. Signed integers compared against pointers shouldTed Kremenek
2009-05-04Fix false positive null dereference by unifying code paths in GRSimpleVals forTed Kremenek
2009-04-29Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enableTed Kremenek
2009-04-20Remove loc::FuncVal.Zhongxing Xu
2009-04-10Move a few more NonLoc static functions to ValueManager.Ted Kremenek
2009-04-10Finally nuke loc::SymbolVal.Zhongxing Xu
2009-04-09- Move ownership of MemRegionManager into ValueManager.Ted Kremenek
2009-04-09stop using loc::SymbolVal and clean up code with new API.Zhongxing Xu
2009-04-09clean up code with new API.Zhongxing Xu
2009-03-28Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixesTed Kremenek
2009-03-26Simplify some code. No functionality change.Zhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-25This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu
2009-03-09Teach GRSimpleVals::EvalNE and GRSimplVals::EvalEQ about TypedRegionViews andTed Kremenek
2009-03-02Initial support for pointer arithmetic. Only support concrete indexes and Zhongxing Xu
2009-02-10Fix a crash in GRSimpleVals::EvalCast due not handling transparent unions.Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-11-15Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv...Ted Kremenek
2008-11-13GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek
2008-10-30Rename:Zhongxing Xu
2008-10-27Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore w...Zhongxing Xu
2008-10-26Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu
2008-10-17When conjuring symbols to recover path-sensitivity, don't conjure symbols tha...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-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-09-19When we have a binary expression 'int operator symbol', properly rewrite this asTed Kremenek
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-07-22Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR...Ted Kremenek
2008-07-22Added path-sensitive checking for null pointer values passed to function argu...Ted Kremenek
2008-07-18Fix regression by explicitly checking if we are negating a SymIntConstantVal.Ted Kremenek
2008-07-18Improve path-sensitivity when using the logical not operator.Ted Kremenek
2008-07-18Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is ...Ted Kremenek
2008-07-18Created ValueStateSet class to manage the creation of multiple states by a me...Ted Kremenek
2008-07-16Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/W...Ted Kremenek
2008-07-15Fix transfer function logic in GRSimpleVals for integer casts: only support c...Ted Kremenek
2008-07-11Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "b...Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-07-02Unify the code path for the Dead Stores checker to always use the BugReporter...Ted Kremenek
2008-07-02Refactored some of the BugReporter interface so that data such as the ASTCont...Ted Kremenek
2008-06-26Added a simple static analysis check to look for improper uses of CFCreateNum...Ted Kremenek
2008-05-12Support StringLiteralVal when comparing LVal types.Ted Kremenek
2008-05-09Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 00:49:03 +0000