Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
6bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89
/
lib
/
StaticAnalyzer
/
Core
/
ExprEngineObjC.cpp
6bcf27b
Update Clang for 3.5 rebase (r209713).
by Stephen Hines
· 10 years ago
651f13c
Updated to Clang 3.5a.
by Stephen Hines
· 10 years ago
dc84cd5
Include llvm::Optional in clang/Basic/LLVM.h
by David Blaikie
· 11 years ago
5251abe
Replace SVal llvm::cast support to be well-defined.
by David Blaikie
· 11 years ago
9428723
[analyzer] Remove unused fields from ExprEngine.
by Jordan Rose
· 12 years ago
e606e3d
[analyzer] Allow ObjC ivar lvalues where the base is nil.
by Jordan Rose
· 12 years ago
991bcb4
[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.
by Jordan Rose
· 12 years ago
4ef1920
Refactor logic in ExprEngine for detecting 'noreturn' methods
by Ted Kremenek
· 12 years ago
82f2ad4
[analyzer] ObjCSelfInitChecker should always clean up in postCall checks.
by Jordan Rose
· 12 years ago
5601c9a
[analyzer] Don't crash if we cache out while evaluating an ObjC message.
by Jordan Rose
· 12 years ago
66c486f
Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.
by Ted Kremenek
· 12 years ago
3b1df8b
Rename 'getConjuredSymbol*' to 'conjureSymbol*'.
by Ted Kremenek
· 12 years ago
fa06f04
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
by Jordan Rose
· 12 years ago
d563d3f
[analyzer] Only allow CallEvents to be created by CallEventManager.
by Jordan Rose
· 12 years ago
f540c54
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
by Jordan Rose
· 12 years ago
9dc5167
[analyzer] Inline ObjC class methods.
by Anna Zaks
· 12 years ago
e81ce25
[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
by Anna Zaks
· 12 years ago
96479da
[analyzer] Add generic preCall and postCall checks.
by Jordan Rose
· 12 years ago
de507ea
[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.
by Jordan Rose
· 12 years ago
cde8cdb
[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.
by Jordan Rose
· 12 years ago
740d490
[analyzer] Add a new abstraction over all types of calls: CallEvent
by Jordan Rose
· 12 years ago
6c234b1
[analyzer] Check for +raise:format: on subclasses of NSException as well.
by Jordan Rose
· 12 years ago
1895a0a
[analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.
by Jordan Rose
· 12 years ago
bd61313
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
by Ted Kremenek
· 12 years ago
b673a41
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>.
by Ted Kremenek
· 12 years ago
3133f79
Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once.
by Ted Kremenek
· 12 years ago
c35fb7d
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.
by Benjamin Kramer
· 12 years ago
8bef823
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
by Ted Kremenek
· 12 years ago
5eca482
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
by Ted Kremenek
· 12 years ago
aa0aeb1
[analyzer] Node builders cleanup + comments
by Anna Zaks
· 13 years ago
ebae6d0
[analyzer] Convert ExprEngine::visit() to use short lived builders.
by Anna Zaks
· 13 years ago
319a918
[analyzer] Subclassing StmtBuilder from the NodeBuilder
by Anna Zaks
· 13 years ago
d1e5a89
[analyzer] Remove TransferFuncs.h, then deal with the fallout.
by Jordy Rose
· 13 years ago
fe27971
[analyzer] Eliminate almost all uses of TransferFuncs from ExprEngine.
by Jordy Rose
· 13 years ago
e38dd95
[analyzer] Migrate argument invalidation from CFRefCount to ExprEngine.
by Jordy Rose
· 13 years ago
df0fcdd
[analyzer] Remove FIXME; Ted reminded me that -init is not guaranteed to return its receiver and pretending that it does won't actually buy us anything. (Comment change only.)
by Jordy Rose
· 13 years ago
500abad
[analyzer] Migrate return value handling from CFRefCount to ExprEngine. This seems to result in a minor performance hit, but I think that will go away again once we eliminate TransferFuncs from function calls entirely.
by Jordy Rose
· 13 years ago
f8b5aae
[analyzer] Handle reads of ObjCPropertyRefExprs implicitly in Environment. No need to bind an explicit value and create a new node.
by Ted Kremenek
· 13 years ago
294fd0a
Start partitioning ExprEngine.cpp into separate .cpp files that handle different parts
by Ted Kremenek
· 13 years ago