 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 |
|
Jordan Rose
|
de507eaf3c
[analyzer] Finish replacing ObjCMessage with ObjCMethodDecl and friends.
|
13 years ago |
|
Jordan Rose
|
740d490593
[analyzer] Add a new abstraction over all types of calls: CallEvent
|
13 years ago |
|
Anna Zaks
|
0b3ade86a1
[analyzer] Run remove dead bindings right before leaving a function.
|
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
|
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 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 |
|
Anna Zaks
|
66c40400e7
[analyzer] Make Malloc Checker optimistic in presence of inlining.
|
13 years ago |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 years ago |
|
Anna Zaks
|
063e0887ad
[analyzer] Simplify CheckerContext
|
14 years ago |
|
Anna Zaks
|
f236b6503a
[analyzer] Make branch for condition callback use CheckerContext
|
14 years ago |
|
Anna Zaks
|
af498a2879
[analyze] Convert EndOfPath callback to use CheckerContext
|
14 years ago |
|
Anna Zaks
|
056c4b4633
[analyzer] Completely remove the global Builder object.
|
14 years ago |
|
Anna Zaks
|
f185cc1ac7
[analyzer] Remove more dependencies from global Builder
|
14 years ago |
