 Jordan Rose
|
4715ed95e3
[analyzer] Remove unneeded helper function (it's in ASTContext.h)
|
13 vuotta sitten |
 Ted Kremenek
|
10f77ad7fc
Implement initial static analysis inlining support for C++ methods.
|
13 vuotta sitten |
 James Dennett
|
2e6f5b8239
Documentation cleanup: fix a type, LocatioinE -> LocationE
|
13 vuotta sitten |
|
Jordan Rose
|
5b8c694948
Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."
|
13 vuotta sitten |
|
Jordan Rose
|
570d03c683
[analyzer] Treat LValueBitCasts like regular pointer bit casts.
|
13 vuotta sitten |
 Chad Rosier
|
8cd64b4c55
Etch out the code path for MS-style inline assembly.
|
13 vuotta sitten |
 Anna Zaks
|
c0e71a15bc
[analyzer] Rely on canBeInlined utility instead of checking CallExpr
|
13 vuotta sitten |
|
Anna Zaks
|
591b5f53c0
[analyzer] For locations, use isGLValue() instead of isLValue().
|
13 vuotta sitten |
|
Anna Zaks
|
719b429e3e
[analyzer] Fix a c++11 crash: xvalues can be locations (VisitMemberExpr)
|
13 vuotta sitten |
 Jordy Rose
|
70fdbc366d
[analyzer] RetainCountChecker: track ObjC boxed expression objects.
|
13 vuotta sitten |
|
Ted Kremenek
|
c319c585c0
Teach the analyzer about CXXScaleValueInitExpr.
|
13 vuotta sitten |
|
Anna Zaks
|
0b3ade86a1
[analyzer] Run remove dead bindings right before leaving a function.
|
13 vuotta sitten |
 Patrick Beard
|
eb382ec150
Implements boxed expressions for Objective-C. <rdar://problem/10194391>
|
13 vuotta sitten |
 Richard Smith
|
534986f2b2
Add an AttributedStmt type to represent a statement with C++11 attributes
|
13 vuotta sitten |
|
Anna Zaks
|
6a86082f3a
[analyzer] PCH deserialization optimization.
|
13 vuotta sitten |
|
Ted Kremenek
|
bd61313749
Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode
|
13 vuotta sitten |
|
Anna Zaks
|
e62f048960
[analyzer] Record the basic blocks covered by the analyzes run.
|
13 vuotta sitten |
 Benjamin Kramer
|
4a5f724538
Analyzer: Store BugReports directly in a ilist instead of adding another layer of inderection with std::list
|
13 vuotta sitten |
|
Anna Zaks
|
3bbd8cd831
[analyzer] Do not inline functions which previously reached max block
|
13 vuotta sitten |
|
Anna Zaks
|
b47dbcbc12
[analyzer] Enable retry exhausted without inlining by default.
|
13 vuotta sitten |
|
Anna Zaks
|
253955ca25
[analyser] Stats checker: do not mark a node as exhausted if we will
|
13 vuotta sitten |
|
Anna Zaks
|
5903a373db
[analyzer] Add an option to re-analyze a dead-end path without inlining.
|
13 vuotta sitten |
|
Ted Kremenek
|
5aac0b6ae9
Fix static analyzer crash on code taking the address of a field. Fixes PR 11146.
|
13 vuotta sitten |
|
Anna Zaks
|
749bbe6f5f
[analyzer] Add stats useful for coverage investigations.
|
13 vuotta sitten |
|
Anna Zaks
|
3d7c44e01d
[analyzer] Malloc: Utter the name of the leaked variable.
|
13 vuotta sitten |
 Erik Verbruggen
|
e711d7e787
[Analyser] Remove unnecessary recursive visits for ExprWithCleanups and
|
13 vuotta sitten |
 John McCall
|
f4b88a4590
Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr to
|
13 vuotta sitten |
|
Ted Kremenek
|
337e4dbc68
[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered
|
13 vuotta sitten |
|
Anna Zaks
|
3fd5f370a2
[analyzer] Add support for NoRedundancy inlining mode.
|
13 vuotta sitten |
|
Richard Smith
|
9fcce65e7e
AST representation for user-defined literals, plus just enough of semantic
|
13 vuotta sitten |
