 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 years ago |
 Benjamin Kramer
|
ba9fd9e97e
[C++11] Replace llvm::tie with std::tie.
|
11 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 |
 Jordan Rose
|
9428723d67
[analyzer] Remove unused fields from ExprEngine.
|
12 years ago |
|
Jordan Rose
|
e606e3d224
[analyzer] Allow ObjC ivar lvalues where the base is nil.
|
13 years ago |
|
Jordan Rose
|
991bcb4370
[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.
|
13 years ago |
 Ted Kremenek
|
4ef19205b6
Refactor logic in ExprEngine for detecting 'noreturn' methods
|
13 years ago |
|
Jordan Rose
|
82f2ad456a
[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.
|
13 years ago |
|
Jordan Rose
|
5601c9aac3
[analyzer] Don't crash if we cache out while evaluating an ObjC message.
|
13 years ago |
|
Ted Kremenek
|
66c486f275
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
|
13 years ago |
|
Ted Kremenek
|
3b1df8bb94
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
|
13 years ago |
|
Jordan Rose
|
fa06f0464a
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
|
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
|
9dc5167e40
[analyzer] Inline ObjC class methods.
|
13 years ago |
|
Anna Zaks
|
e81ce256b6
[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
|
13 years ago |
|
Jordan Rose
|
96479da6ad
[analyzer] Add generic preCall and postCall checks.
|
13 years ago |
|
Jordan Rose
|
de507eaf3c
[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.
|
13 years ago |
|
Jordan Rose
|
cde8cdbd6a
[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.
|
13 years ago |
|
Jordan Rose
|
740d490593
[analyzer] Add a new abstraction over all types of calls: CallEvent
|
13 years ago |
|
Jordan Rose
|
6c234b1fd1
[analyzer] Check for +raise:format: on subclasses of NSException as well.
|
13 years ago |
|
Jordan Rose
|
1895a0a693
[analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.
|
13 years ago |
|
Ted Kremenek
|
bd61313749
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
|
13 years ago |
|
Ted Kremenek
|
b673a41c92
Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/9241180>.
|
13 years ago |
|
Ted Kremenek
|
3133f79cf4
Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once.
|
13 years ago |
|
Benjamin Kramer
|
c35fb7d67d
StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers that don't care about the language don't have to pull in all the headers.
|
13 years ago |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 years ago |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 years ago |
|
Anna Zaks
|
aa0aeb1cbe
[analyzer] Node builders cleanup + comments
|
14 years ago |
