summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/BasicConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove uses of std::ostream from libAnalysis.Ted Kremenek2009-06-241-8/+4
* Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek2009-06-181-1/+1
* libAnalysis:Ted Kremenek2009-06-181-88/+72
* Remove more uses of GRStateRef.Ted Kremenek2009-06-171-17/+12
* Patch by Ben Laurie:Ted Kremenek2009-02-141-238/+11
* Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu2009-02-051-9/+6
* update for change in API.Chris Lattner2009-01-301-4/+4
* Remove method 'AddNE' from the public interface of ConstraintManager.Ted Kremenek2009-01-281-1/+1
* Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq...Ted Kremenek2009-01-261-29/+33
* Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek2009-01-221-5/+4
* Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek2009-01-211-15/+9
* CF-retain/release checker:Ted Kremenek2008-12-171-4/+19
* Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek2008-12-051-27/+27
* BasicConstraintManager:Ted Kremenek2008-12-031-3/+23
* BasicConstraintManager:Ted Kremenek2008-12-031-6/+24
* Factory objects should not be temporary. It caches all objects in the set.Zhongxing Xu2008-11-271-3/+4
* Add comments.Zhongxing Xu2008-11-271-0/+2
* Fix crash of array bounds checking under 64-bit.Sebastian Redl2008-11-241-2/+8
* Initial support for checking out of bound memory access. Only support Zhongxing Xu2008-11-221-0/+27
* Print integer value instead of raw pointer. This is a hack to be fixed by mig...Zhongxing Xu2008-11-101-3/+1
* Remove loc::StringLiteralVal. Now we allocate regions for string literals in ...Zhongxing Xu2008-10-261-1/+0
* Enhance "Assumption" logic in BasicConstraintManager when reasoning about reg...Ted Kremenek2008-10-171-1/+20
* This patch did the following renaming. There should be no functional changes.Zhongxing Xu2008-10-171-32/+32
* Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi...Ted Kremenek2008-10-171-8/+0
* This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek2008-10-041-1/+1
* Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.Ted Kremenek2008-09-191-20/+7
* Add an omitted case for AssumeSymInt.Zhongxing Xu2008-09-191-0/+6
* Minor pass-sensitivity improvement:Ted Kremenek2008-09-161-4/+25
* Add newline at end of file.Daniel Dunbar2008-08-301-1/+1
* Added LLVM comment header.Zhongxing Xu2008-08-291-0/+14
* Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu2008-08-291-12/+164
* Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu2008-08-271-0/+298
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-05 00:41:41 +0000