Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
a92bd303a6aed5cf12de5f76938c112b00cc06e6
/
lib
/
Analysis
/
BasicConstraintManager.cpp
ba5fb5a
lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace
by Kovarththanan Rajaratnam
· 15 years ago
1eb4433
Remove tabs, and whitespace cleanups.
by Mike Stump
· 15 years ago
53ba0b6
Remove uses of std::ostream from libAnalysis.
by Ted Kremenek
· 15 years ago
f1b8227
Remove GRStateManager& field from SimpleConstraintManager.
by Ted Kremenek
· 15 years ago
a591bc0
libAnalysis:
by Ted Kremenek
· 15 years ago
c878138
Remove more uses of GRStateRef.
by Ted Kremenek
· 15 years ago
4502195
Patch by Ben Laurie:
by Ted Kremenek
· 16 years ago
026c663
Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so
by Zhongxing Xu
· 16 years ago
071e04e
update for change in API.
by Chris Lattner
· 16 years ago
b2bf7cd
Remove method 'AddNE' from the public interface of ConstraintManager.
by Ted Kremenek
· 16 years ago
8ee74d5
Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq'. This avoids collisions in the GDM.
by Ted Kremenek
· 16 years ago
9ab6b9c
Static analyzer: Remove a bunch of outdated SymbolData objects and
by Ted Kremenek
· 16 years ago
241677a
Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore.
by Ted Kremenek
· 16 years ago
2fb78a7
CF-retain/release checker:
by Ted Kremenek
· 16 years ago
2dabd43
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.
by Ted Kremenek
· 16 years ago
d7ff487
BasicConstraintManager:
by Ted Kremenek
· 16 years ago
73abd13
BasicConstraintManager:
by Ted Kremenek
· 16 years ago
f0bc50e
Factory objects should not be temporary. It caches all objects in the set.
by Zhongxing Xu
· 16 years ago
8fd9b35
Add comments.
by Zhongxing Xu
· 16 years ago
e95db4f
Fix crash of array bounds checking under 64-bit.
by Sebastian Redl
· 16 years ago
e8a964b
Initial support for checking out of bound memory access. Only support
by Zhongxing Xu
· 16 years ago
7d94e26
Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream.
by Zhongxing Xu
· 16 years ago
197fa58
Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store.
by Zhongxing Xu
· 16 years ago
c523471
Enhance "Assumption" logic in BasicConstraintManager when reasoning about regions and symbolic regions. When assuming whether or not a location is non-null, walk up the region hierarchy until we hit a symbolic region (and test it for null). This may not be the end all solution, as the notion of what a "symbolic region" is really belongs in the specific subclass of StoreManager.
by Ted Kremenek
· 16 years ago
1c96b24
This patch did the following renaming. There should be no functional changes.
by Zhongxing Xu
· 16 years ago
d9bc33e
Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions.
by Ted Kremenek
· 16 years ago
9e24049
This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.
by Ted Kremenek
· 16 years ago
0a41e5a
Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.
by Ted Kremenek
· 16 years ago
94b8312
Add an omitted case for AssumeSymInt.
by Zhongxing Xu
· 16 years ago
8c3e7fb
Minor pass-sensitivity improvement:
by Ted Kremenek
· 16 years ago
0e194dd
Add newline at end of file.
by Daniel Dunbar
· 16 years ago
d19e21b
Added LLVM comment header.
by Zhongxing Xu
· 16 years ago
39cfed3
Migrate the rest symbolic analysis stuff to BasicConstraintManager.
by Zhongxing Xu
· 16 years ago
30ad167
Refactor Assume logic into a separate class ConstraintManager.
by Zhongxing Xu
· 16 years ago