 Ted Kremenek
|
2ac58b7c09
Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change."
|
13 anni fa |
|
Ted Kremenek
|
437ee81e54
Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change.
|
13 anni fa |
 Anna Zaks
|
66c40400e7
[analyzer] Make Malloc Checker optimistic in presence of inlining.
|
13 anni fa |
 Douglas Gregor
|
01d08018b7
Introduce basic ASTs for lambda expressions. This covers:
|
13 anni fa |
 Argyrios Kyrtzidis
|
a5888f61be
Reapply r149311 which I reverted by mistake.
|
13 anni fa |
|
Argyrios Kyrtzidis
|
b9b0f6fb6e
Revert r149311 which failed to compile.
|
13 anni fa |
|
Ted Kremenek
|
72e93068c9
Convert ProgramStateRef to a smart pointer for managing the reference counts of ProgramStates. This leads to a slight memory
|
13 anni fa |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 anni fa |
 David Blaikie
|
3026348bd4
More dead code removal (using -Wunreachable-code)
|
13 anni fa |
|
Ted Kremenek
|
256ef642f8
Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up inlining for straight C calls.
|
13 anni fa |
|
Ted Kremenek
|
3070e13dca
[analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEnter().
|
13 anni fa |
|
Ted Kremenek
|
5eca482fe8
[analyzer] Make the entries in 'Environment' context-sensitive by making entries map from
|
13 anni fa |
|
Anna Zaks
|
eb31a76d1c
[analyzer] Be less pessimistic about invalidation of global variables
|
13 anni fa |
|
Anna Zaks
|
5344baa704
[analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal
|
13 anni fa |
|
Ted Kremenek
|
a078ecf348
When analyzing a C++ method (without a specific caller), assume 'this' is non-null. Fixes <rdar://problem/10508787>.
|
13 anni fa |
|
Ted Kremenek
|
9e9a3e612d
[static analyzer] be more specific when running removeDeadBindings. Instead of seeing if the predecessor node was a non-StmtPoint, check if it is specifically a BlockEntrance node.
|
13 anni fa |
|
Ted Kremenek
|
ce117a7d28
[static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stmts, entering a basic block, or analyzing non-consumed expressions. This sigificantly speeds up analysis time, and reduces analysis time down to 27% less than before we linearized the CFG.
|
13 anni fa |
 John McCall
|
4b9c2d235f
Change the AST representation of operations on Objective-C
|
13 anni fa |
|
Anna Zaks
|
6800ba622e
[analyzer] Make sink attribute part of the node profile.
|
14 anni fa |
|
Anna Zaks
|
6889679d72
[analyzer] Make sure the child builder use temporary destination sets
|
14 anni fa |
|
Anna Zaks
|
4d2ae4a703
[analyzer] Move enqueueEndOfFunction into CoreEngine.
|
14 anni fa |
|
Anna Zaks
|
dd7ddf2b22
[analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes.
|
14 anni fa |
|
Anna Zaks
|
c03a39e167
[analyzer] GenericNodeBuilder -> NodeBuilder.
|
14 anni fa |
|
Anna Zaks
|
2e9264a17b
[analyzer] Remove unused headers.
|
14 anni fa |
|
Anna Zaks
|
f236b6503a
[analyzer] Make branch for condition callback use CheckerContext
|
14 anni fa |
|
Anna Zaks
|
af498a2879
[analyze] Convert EndOfPath callback to use CheckerContext
|
14 anni fa |
|
Douglas Gregor
|
ba0513de93
Implement support for dependent Microsoft __if_exists/__if_not_exists
|
14 anni fa |
|
Anna Zaks
|
aa0aeb1cbe
[analyzer] Node builders cleanup + comments
|
14 anni fa |
|
Anna Zaks
|
056c4b4633
[analyzer] Completely remove the global Builder object.
|
14 anni fa |
|
Anna Zaks
|
f185cc1ac7
[analyzer] Remove more dependencies from global Builder
|
14 anni fa |
