 Ted Kremenek
|
d9f32582b1
Change CallEvent to use ArrayRef<> interface to get formal parameters of callee.
|
11 years ago |
 Jordan Rose
|
2ff5a1edc0
[analyzer] BlockCall shouldn't really be an AnyFunctionCall.
|
11 years ago |
|
Jordan Rose
|
f0708cabe7
[analyzer] Model getters of known-@synthesized Objective-C properties.
|
11 years ago |
|
Jordan Rose
|
e5a3d59ade
[analyzer] Pointers escape into +[NSValue valueWithPointer:]...
|
11 years ago |
 Alp Toker
|
759afce785
Only mark dump() function definitions 'used' in debug builds
|
11 years ago |
|
Jordan Rose
|
9b072b31ee
[analyzer] Make inlining decisions based on the callee being variadic.
|
12 years ago |
|
Jordan Rose
|
81557223ba
[analyzer] Handle destructors for the argument to C++ 'delete'.
|
12 years ago |
 Anton Yartsev
|
da8d37ce42
[analyzer] This patch removes passing around of const-invalidation vs regular-invalidation info by passing around a datastructure that maps regions and symbols to the type of invalidation they experience. This simplifies the code and would allow to associate more different invalidation types in the future.
|
12 years ago |
|
Jordan Rose
|
7c98f9f5c3
[analyzer] Use getParentIgnoreParenCasts instead of doing it by hand.
|
12 years ago |
 Anna Zaks
|
de940da033
[analyzer] More reliably detect property accessors.
|
12 years ago |
 Eli Friedman
|
24146975f1
Split isFromMainFile into two functions.
|
12 years ago |
 Pavel Labath
|
37926da411
Fix a crash in the static analyzer (bug #16307)
|
12 years ago |
|
Jordan Rose
|
b347c76054
[analyzer] Don't crash if a block's signature just has the return type.
|
12 years ago |
|
Jordan Rose
|
eb41640fb4
[analyzer] Don't crash if a block doesn't have a type signature.
|
12 years ago |
|
Jordan Rose
|
898be7b4a7
[analyzer] Don't warn for returning void expressions in void blocks.
|
12 years ago |
|
Anna Zaks
|
658a28479d
[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need to be invalidated
|
12 years ago |
|
Jordan Rose
|
f8ddc09898
[analyzer] Invalidate regions indirectly accessible through const pointers.
|
12 years ago |
|
Jordan Rose
|
e1a2e90876
[analyzer] Remove strip of ElementRegion in CallEvent::invalidateRegions.
|
12 years ago |
|
Jordan Rose
|
962fbc4666
[analyzer] Clean up a few doc comments for ProgramState and CallEvent.
|
12 years ago |
 David Blaikie
|
b07805485c
Remove the CFGElement "Invalid" state.
|
12 years ago |
|
David Blaikie
|
fdf6a279c9
Replace CFGElement llvm::cast support to be well-defined.
|
12 years ago |
|
David Blaikie
|
dc84cd5efd
Include llvm::Optional in clang/Basic/LLVM.h
|
12 years ago |
|
David Blaikie
|
5251abea41
Replace SVal llvm::cast support to be well-defined.
|
12 years ago |
|
Anna Zaks
|
1655bcd052
[analyzer] Address Jordan's nitpicks as per code review of r170625.
|
12 years ago |
|
Anna Zaks
|
bf53dfac81
[analyzer] Add the pointer escaped callback.
|
12 years ago |
|
Ted Kremenek
|
bf25fb1e2e
Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefinition().
|
12 years ago |
 Chandler Carruth
|
55fc873017
Sort all of Clang's files under 'lib', and fix up the broken headers
|
12 years ago |
 Benjamin Kramer
|
a93d0f2806
Include pruning and general cleanup.
|
12 years ago |
|
Jordan Rose
|
2f3017f9cb
[analyzer] Add some convenience accessors to CallEvent, and use them.
|
12 years ago |
|
Anna Zaks
|
3719ed248b
[analyzer]Don't invalidate const arguments when there is no
|
12 years ago |
