 Eugene Zelenko
|
3f227f45a8
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 years ago |
 Artem Dergachev
|
5b43bb5e18
[analyzer] operator new: Add a new ProgramPoint for check::NewAllocator.
|
7 years ago |
|
Artem Dergachev
|
0e0ad4e27a
[analyzer] operator new: Add a new checker callback, check::NewAllocator.
|
7 years ago |
 Anna Zaks
|
85570ac22c
[analyzer] Add LocationContext as a parameter to checkRegionChanges
|
8 years ago |
|
Anna Zaks
|
c9ea912185
[analyzer] Remove unused check::RegionChanges::wantsRegionChangeUpdate callback
|
8 years ago |
 Devin Coughlin
|
674d89e44b
[analyzer] Add checker callback for beginning of function.
|
9 years ago |
 Aaron Ballman
|
24a60ad09d
Silencing a -Wreturn-type warning; NFC.
|
10 years ago |
|
Devin Coughlin
|
0e7d51e976
[analyzer] Skip Pre/Post handlers for ObjC calls when receiver is nil.
|
10 years ago |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 years ago |
 Alexander Kornienko
|
8ca7705aa3
Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").
|
10 years ago |
|
Alexander Kornienko
|
ac58acc7f2
Fixed/added namespace ending comments using clang-tidy. NFC
|
10 years ago |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 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 |
 Benjamin Kramer
|
e9a906b992
Replace some DenseMap keys with simpler structures that don't need another DenseMapInfo specialization.
|
12 years ago |
|
Anna Zaks
|
41988f331a
[analyzer] Add support for escape of const pointers and use it to allow “newed” pointers to escape
|
12 years ago |
|
Anna Zaks
|
233e26acc0
[analyzer] Add pointer escape type param to checkPointerEscape callback
|
12 years ago |
|
Anna Zaks
|
344c77aac2
[analyzer] Rename callback EndPath -> EndFunction
|
12 years ago |
|
Anna Zaks
|
bf53dfac81
[analyzer] Add the pointer escaped callback.
|
12 years ago |
 Chandler Carruth
|
55fc873017
Sort all of Clang's files under 'lib', and fix up the broken headers
|
12 years ago |
|
Anna Zaks
|
b355be838a
[analyzer] Refactor: Remove Pred from NodeBuilderContext.
|
12 years ago |
 Jordan Rose
|
42e95acef3
[analyzer] Remove unneeded 'inlineCall' checker callback.
|
13 years ago |
|
Jordan Rose
|
3682f1ea9c
[analyzer] Use the common evalBind infrastructure for initializers.
|
13 years ago |
|
Jordan Rose
|
645baeed68
[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.
|
13 years ago |
|
Jordan Rose
|
57c033621d
[analyzer] Perform post-call checks for all inlined calls.
|
13 years ago |
|
Jordan Rose
|
d563d3fb73
[analyzer] Only allow CallEvents to be created by CallEventManager.
|
13 years ago |
|
Jordan Rose
|
f540c54701
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
|
13 years ago |
|
Anna Zaks
|
e81ce256b6
[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
|
13 years ago |
|
Jordan Rose
|
28038f33aa
[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.
|
13 years ago |
|
Jordan Rose
|
96479da6ad
[analyzer] Add generic preCall and postCall checks.
|
13 years ago |
|
Jordan Rose
|
69f87c956b
[analyzer] Use CallEvent for inlining and call default-evaluation.
|
13 years ago |
