summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* [analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks2012-11-031-2/+2
* [analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.Jordan Rose2012-09-071-4/+3
* [analyzer] Don't use the address of a temporary CFGElement.Jordan Rose2012-09-071-1/+2
* [analyzer] Refactor the logic that determines if a functions should beAnna Zaks2012-08-301-5/+0
* [analyzer] PostImplicitCall can also occur between CFGElements.Jordan Rose2012-07-261-1/+3
* Fix a typo (the the => the)Sylvestre Ledru2012-07-231-1/+1
* [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose2012-07-101-3/+3
* [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph.Jordan Rose2012-06-291-1/+1
* [analyzer] Report the cumulative number of steps the analyzer performs.Anna Zaks2012-06-221-0/+4
* [analyzer] Run remove dead bindings right before leaving a function.Anna Zaks2012-04-201-6/+7
* Remove the unused, unmaintained, incomplete 'Index' library.Douglas Gregor2012-04-131-1/+0
* [analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks2012-04-031-3/+15
* [analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks2012-03-281-10/+4
* [analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks2012-03-271-34/+50
* [analyzer] Add the stat for the number of successfully explored paths.Anna Zaks2012-03-221-1/+5
* [analyzer] Add a statistic for the number of times we reach the maxAnna Zaks2012-03-161-1/+10
* [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek2012-03-101-0/+13
* [analyzer] Add support for NoRedundancy inlining mode.Anna Zaks2012-03-091-2/+9
* Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine....Ted Kremenek2012-02-161-1/+0
* Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also h...Ted Kremenek2012-02-161-0/+1
* Minor cleanup to node data structures in ExplodedGraph. No functionality cha...Ted Kremenek2012-02-161-2/+2
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-8/+8
* [analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEn...Ted Kremenek2012-01-071-76/+2
* [analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit()...Ted Kremenek2012-01-071-17/+1
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+6
* [analyzer] Make sink attribute part of the node profile.Anna Zaks2011-11-011-41/+30
* [analyzer] Fix PR11282 - an assert in markAsSinkAnna Zaks2011-11-011-3/+6
* [analyzer] BranchNodeBuilder should not generate autotransitions.Anna Zaks2011-11-011-0/+1
* [analyzer] Move enqueueEndOfFunction into CoreEngine.Anna Zaks2011-10-271-0/+29
* [analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes.Anna Zaks2011-10-271-3/+49
* [analyzer] GenericNodeBuilder -> NodeBuilder.Anna Zaks2011-10-261-38/+13
* [analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks2011-10-251-53/+2
* [analyzer] Node builders cleanup + commentsAnna Zaks2011-10-241-2/+1
* [analyzer] Remove the old StmtNodeBuilder.Anna Zaks2011-10-241-44/+5
* [analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks2011-10-241-12/+2
* [analyzer] Use a temporary builder in CheckerContext.Anna Zaks2011-10-241-1/+1
* [analyzer] Pass external Dst set to NodeBuilderAnna Zaks2011-10-241-22/+18
* Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek2011-10-241-2/+2
* [analyzer] Remove LocationContext creation methods from AnalysisManager, and ...Ted Kremenek2011-10-231-7/+9
* [analyzer] Move predecessor into the NodeBuilder context.Anna Zaks2011-10-181-6/+4
* [analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks2011-10-181-11/+4
* [analyzer] Remove StmtNodeBuilder from CheckerContextAnna Zaks2011-10-181-3/+2
* [analyzer] Subclassing StmtBuilder from the NodeBuilderAnna Zaks2011-10-181-53/+18
* [analyzer] Modularize builder use in processBranch.Anna Zaks2011-10-181-15/+0
* [analyzer] Pull Pred out of NodeBuilderContext.Anna Zaks2011-10-181-6/+7
* [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks2011-10-181-54/+36
* [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsi...Anna Zaks2011-10-181-5/+33
* [analyzer] Remove an unused member variable.Anna Zaks2011-10-111-7/+4
* [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo...Ted Kremenek2011-10-101-0/+5
OpenPOWER on IntegriCloud