Benjamin Kramer
|
478851c3ed
Drop the ASTContext.h include from Stmt.h and fix up transitive users.
|
13 ani în urmă |
Ted Kremenek
|
9c378f7054
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
|
14 ani în urmă |
Ted Kremenek
|
9697934650
[analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separate TypedRegions that implement getValueType() from those that don't.
|
14 ani în urmă |
Douglas Gregor
|
5e9ebb3c0f
A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.
|
14 ani în urmă |
Ted Kremenek
|
2c0af35807
#include Store.h into BasicValueFactory.cpp to provide definitions of StoreRef constructor.
|
14 ani în urmă |
Ted Kremenek
|
cf33333961
static analyzer: Fix use-after-free bug in RegionStore involving LazyCompoundValueData not reference counting Store objects.
|
14 ani în urmă |
Zhanyong Wan
|
7dfc9420ba
Makes most methods in SVals.h conform to the naming guide. Reviewed
|
14 ani în urmă |
Ted Kremenek
|
9b66371644
Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'.
|
14 ani în urmă |
Argyrios Kyrtzidis
|
811d75ee35
[analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core.
|
14 ani în urmă |