 Jordan Rose
|
fa06f0464a
[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.
|
13 роки тому |
|
Jordan Rose
|
c32a453e40
[analyzer] Treat C++ 'throw' as a sink.
|
13 роки тому |
|
Jordan Rose
|
19275bdec3
[analyzer] Treat @throw as a sink (stop processing).
|
13 роки тому |
|
Jordan Rose
|
563ea2335d
[analyzer] Update initializer assertion for delegating constructors.
|
13 роки тому |
|
Jordan Rose
|
6b4be2ef4c
[analyzer] Getting an lvalue for a reference field still requires a load.
|
13 роки тому |
|
Jordan Rose
|
d563d3fb73
[analyzer] Only allow CallEvents to be created by CallEventManager.
|
13 роки тому |
|
Jordan Rose
|
69a0e5021c
[analyzer] Look through SubstNonTypeTemplateParmExprs.
|
13 роки тому |
|
Jordan Rose
|
e3fd87c18b
[analyzer] Use a stack-based local instead of a temporary to fix build.
|
13 роки тому |
|
Jordan Rose
|
f540c54701
[analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.
|
13 роки тому |
|
Jordan Rose
|
3a0a9e3e8b
[analyzer] Handle C++ member initializers and destructors.
|
13 роки тому |
|
Jordan Rose
|
888c90ac0e
[analyzer] Handle base class initializers and destructors.
|
13 роки тому |
 Ted Kremenek
|
829846b500
Remove ExprEngine::MarkBranch(), as it is no longer needed.
|
13 роки тому |
|
Jordan Rose
|
8919e688dc
[analyzer] Combine all ObjC message CallEvents into ObjCMethodCall.
|
13 роки тому |
|
Jordan Rose
|
4ccc4cc5d4
[analyzer] Remove obsolete ObjCPropRef SVal kind.
|
13 роки тому |
|
Ted Kremenek
|
3f635c08b2
Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but
|
13 роки тому |
|
Jordan Rose
|
48b6247804
[analyzer] Construct stack variables directly in their VarDecl.
|
13 роки тому |
|
Jordan Rose
|
852aa0d2c5
[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints
|
13 роки тому |
|
Jordan Rose
|
28038f33aa
[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.
|
13 роки тому |
|
Jordan Rose
|
840c9842ed
Revert "Remove unused member (& consequently unused parameter) in SA's Call code."
|
13 роки тому |
 David Blaikie
|
8e674e1da3
Remove unused member (& consequently unused parameter) in SA's Call code.
|
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 роки тому |
|
Jordan Rose
|
85d7e01cf6
[analyzer] Move the last bits of CallOrObjCMessage over to CallEvent.
|
13 роки тому |
|
Jordan Rose
|
740d490593
[analyzer] Add a new abstraction over all types of calls: CallEvent
|
13 роки тому |
|
Jordan Rose
|
4715ed95e3
[analyzer] Remove unneeded helper function (it's in ASTContext.h)
|
13 роки тому |
|
Ted Kremenek
|
10f77ad7fc
Implement initial static analysis inlining support for C++ methods.
|
13 роки тому |
 James Dennett
|
2e6f5b8239
Documentation cleanup: fix a type, LocatioinE -> LocationE
|
13 роки тому |
|
Jordan Rose
|
5b8c694948
Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."
|
13 роки тому |
|
Jordan Rose
|
570d03c683
[analyzer] Treat LValueBitCasts like regular pointer bit casts.
|
13 роки тому |
 Chad Rosier
|
8cd64b4c55
Etch out the code path for MS-style inline assembly.
|
13 роки тому |
