aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicConstraintManager.cpp
AgeCommit message (Expand)Author
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-18Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-06-17Remove more uses of GRStateRef.Ted Kremenek
2009-02-14Patch by Ben Laurie:Ted Kremenek
2009-02-05Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu
2009-01-30update for change in API.Chris Lattner
2009-01-28Remove method 'AddNE' from the public interface of ConstraintManager.Ted Kremenek
2009-01-26Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq...Ted Kremenek
2009-01-22Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2008-12-17CF-retain/release checker:Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-12-03BasicConstraintManager:Ted Kremenek
2008-12-03BasicConstraintManager:Ted Kremenek
2008-11-27Factory objects should not be temporary. It caches all objects in the set.Zhongxing Xu
2008-11-27Add comments.Zhongxing Xu
2008-11-24Fix crash of array bounds checking under 64-bit.Sebastian Redl
2008-11-22Initial support for checking out of bound memory access. Only support Zhongxing Xu
2008-11-10Print integer value instead of raw pointer. This is a hack to be fixed by mig...Zhongxing Xu
2008-10-26Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu
2008-10-17Enhance "Assumption" logic in BasicConstraintManager when reasoning about reg...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-19Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.Ted Kremenek
2008-09-19Add an omitted case for AssumeSymInt.Zhongxing Xu
2008-09-16Minor pass-sensitivity improvement:Ted Kremenek
2008-08-30Add newline at end of file.Daniel Dunbar
2008-08-29Added LLVM comment header.Zhongxing Xu
2008-08-29Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu
2008-08-27Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 12:50:35 +0000