Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
95c7b00fe857a61a19185483aa0d85492ec9e258
/
lib
/
Analysis
/
RegionStore.cpp
95c7b00
Make the analyzer store (memory model) a command line option.
by Ted Kremenek
· 16 years ago
c4bf72c
Add a bunch of getLValue* methods to RegionStore.
by Zhongxing Xu
· 16 years ago
8e9bebd
Preliminary support for function overloading
by Douglas Gregor
· 16 years ago
8485ec6
Modify Store interface: GetSVal/SetSVal => Retrieve/Bind.
by Zhongxing Xu
· 16 years ago
53bcdd4
Process decls in RegionStore. Individual elements of fixed size arrays are
by Zhongxing Xu
· 16 years ago
993f1c7
- constify some uses of MemRegion* (MemRegion should be immutable).
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
1789275
This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc.
by Zhongxing Xu
· 16 years ago