 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 роки тому |
 George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
7 роки тому |
 Artem Dergachev
|
035a4f5180
[analyzer] Add support for constructors of arguments.
|
7 роки тому |
|
George Karpenkov
|
ab58e02825
[analyzer] Correctly model iteration through "nil" objects
|
7 роки тому |
 Anna Zaks
|
85570ac22c
[analyzer] Add LocationContext as a parameter to checkRegionChanges
|
8 роки тому |
 Devin Coughlin
|
e584e48e4c
[analyzer] Restore behavior change introduced by r247657.
|
10 роки тому |
 NAKAMURA Takumi
|
fdb4d1e271
ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]
|
10 роки тому |
|
Devin Coughlin
|
0e7d51e976
[analyzer] Skip Pre/Post handlers for ObjC calls when receiver is nil.
|
10 роки тому |
 Gabor Horvath
|
0bec6fbaab
[Static Analyzer] Relaxing a caching out related assert.
|
10 роки тому |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 роки тому |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 роки тому |
 Benjamin Kramer
|
ba9fd9e97e
[C++11] Replace llvm::tie with std::tie.
|
11 роки тому |
 David Blaikie
|
dc84cd5efd
Include llvm::Optional in clang/Basic/LLVM.h
|
12 роки тому |
|
David Blaikie
|
5251abea41
Replace SVal llvm::cast support to be well-defined.
|
12 роки тому |
 Jordan Rose
|
9428723d67
[analyzer] Remove unused fields from ExprEngine.
|
12 роки тому |
|
Jordan Rose
|
e606e3d224
[analyzer] Allow ObjC ivar lvalues where the base is nil.
|
13 роки тому |
|
Jordan Rose
|
991bcb4370
[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.
|
13 роки тому |
|
Ted Kremenek
|
4ef19205b6
Refactor logic in ExprEngine for detecting 'noreturn' methods
|
13 роки тому |
|
Jordan Rose
|
82f2ad456a
[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.
|
13 роки тому |
|
Jordan Rose
|
5601c9aac3
[analyzer] Don't crash if we cache out while evaluating an ObjC message.
|
13 роки тому |
|
Ted Kremenek
|
66c486f275
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
|
13 роки тому |
|
Ted Kremenek
|
3b1df8bb94
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
|
13 роки тому |
|
Jordan Rose
|
fa06f0464a
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
|
13 роки тому |
|
Jordan Rose
|
d563d3fb73
[analyzer] Only allow CallEvents to be created by CallEventManager.
|
13 роки тому |
|
Jordan Rose
|
f540c54701
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
|
13 роки тому |
|
Anna Zaks
|
9dc5167e40
[analyzer] Inline ObjC class methods.
|
13 роки тому |
|
Anna Zaks
|
e81ce256b6
[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
|
13 роки тому |
|
Jordan Rose
|
96479da6ad
[analyzer] Add generic preCall and postCall checks.
|
13 роки тому |
|
Jordan Rose
|
de507eaf3c
[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.
|
13 роки тому |
|
Jordan Rose
|
cde8cdbd6a
[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.
|
13 роки тому |
