 Anna Zaks
|
b355be838a
[analyzer] Refactor: Remove Pred from NodeBuilderContext.
|
12 tahun lalu |
 Jordan Rose
|
42e95acef3
[analyzer] Remove unneeded 'inlineCall' checker callback.
|
13 tahun lalu |
|
Jordan Rose
|
3682f1ea9c
[analyzer] Use the common evalBind infrastructure for initializers.
|
13 tahun lalu |
|
Jordan Rose
|
645baeed68
[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.
|
13 tahun lalu |
|
Jordan Rose
|
57c033621d
[analyzer] Perform post-call checks for all inlined calls.
|
13 tahun lalu |
|
Jordan Rose
|
d563d3fb73
[analyzer] Only allow CallEvents to be created by CallEventManager.
|
13 tahun lalu |
|
Jordan Rose
|
f540c54701
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
|
13 tahun lalu |
|
Anna Zaks
|
e81ce256b6
[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the
|
13 tahun lalu |
|
Jordan Rose
|
28038f33aa
[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.
|
13 tahun lalu |
|
Jordan Rose
|
96479da6ad
[analyzer] Add generic preCall and postCall checks.
|
13 tahun lalu |
|
Jordan Rose
|
69f87c956b
[analyzer] Use CallEvent for inlining and call default-evaluation.
|
13 tahun lalu |
|
Jordan Rose
|
de507eaf3c
[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.
|
13 tahun lalu |
|
Jordan Rose
|
740d490593
[analyzer] Add a new abstraction over all types of calls: CallEvent
|
13 tahun lalu |
|
Anna Zaks
|
0b3ade86a1
[analyzer] Run remove dead bindings right before leaving a function.
|
13 tahun lalu |
 Ted Kremenek
|
bd61313749
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
|
13 tahun lalu |
|
Ted Kremenek
|
514f2c9dcb
Avoid applying retain/release effects twice in RetainCountChecker when a function call was inlined (i.e., we do not need to apply summaries in such cases).
|
13 tahun lalu |
|
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 tahun lalu |
|
Anna Zaks
|
66c40400e7
[analyzer] Make Malloc Checker optimistic in presence of inlining.
|
13 tahun lalu |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 tahun lalu |
|
Anna Zaks
|
063e0887ad
[analyzer] Simplify CheckerContext
|
14 tahun lalu |
|
Anna Zaks
|
f236b6503a
[analyzer] Make branch for condition callback use CheckerContext
|
14 tahun lalu |
|
Anna Zaks
|
af498a2879
[analyze] Convert EndOfPath callback to use CheckerContext
|
14 tahun lalu |
|
Anna Zaks
|
056c4b4633
[analyzer] Completely remove the global Builder object.
|
14 tahun lalu |
|
Anna Zaks
|
f185cc1ac7
[analyzer] Remove more dependencies from global Builder
|
14 tahun lalu |
|
Anna Zaks
|
ebae6d0209
[analyzer] Convert ExprEngine::visit() to use short lived builders.
|
14 tahun lalu |
|
Anna Zaks
|
8ff5c41f2b
[analyzer] Use a temporary builder in CheckerContext.
|
14 tahun lalu |
|
Anna Zaks
|
4e82d3cf6f
[analyzer] Make NodeBuilder and Pred node loosely coupled
|
14 tahun lalu |
|
Anna Zaks
|
cd656cab3f
[analyzer] Modularize builder use in processBranch.
|
14 tahun lalu |
|
Anna Zaks
|
b1576f7136
[analyzer] CheckerContext updates checkDst in it's destructor, so make sure the object is destructed before checkDst is used.
|
14 tahun lalu |
|
Anna Zaks
|
3f5e8d87db
[analyzer] Previously, we were passing to CheckerContext enough info to construct ProgramPoint and it would pass it to NodeBuilder, which in turn would construct the ProgramPoint. Simplify it by just passing the ProgramPoint to CheckerContext. The ProgramPoint can only change if a checker tags it, in which case, we create a copy with the given tag.
|
14 tahun lalu |
