aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/CoreEngine.cpp
AgeCommit message (Expand)Author
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-03[analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks
2012-09-07[analyzer] Use cast<> instead of getAs<> for a CFGElement known to be a CFGStmt.Jordan Rose
2012-09-07[analyzer] Don't use the address of a temporary CFGElement.Jordan Rose
2012-08-30[analyzer] Refactor the logic that determines if a functions should beAnna Zaks
2012-07-26[analyzer] PostImplicitCall can also occur between CFGElements.Jordan Rose
2012-07-23Fix a typo (the the => the)Sylvestre Ledru
2012-07-10[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose
2012-06-29[analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph.Jordan Rose
2012-06-22[analyzer] Report the cumulative number of steps the analyzer performs.Anna Zaks
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-13Remove the unused, unmaintained, incomplete 'Index' library.Douglas Gregor
2012-04-03[analyzer] Record the basic blocks covered by the analyzes run.Anna Zaks
2012-03-28[analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks
2012-03-27[analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks
2012-03-22[analyzer] Add the stat for the number of successfully explored paths.Anna Zaks
2012-03-16[analyzer] Add a statistic for the number of times we reach the maxAnna Zaks
2012-03-10[analyzer] fix regression in analyzer of NOT actually aborting on Stmts it do...Ted Kremenek
2012-03-09[analyzer] Add support for NoRedundancy inlining mode.Anna Zaks
2012-02-16Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine....Ted Kremenek
2012-02-16Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also h...Ted Kremenek
2012-02-16Minor cleanup to node data structures in ExplodedGraph. No functionality cha...Ted Kremenek
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-07[analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEn...Ted Kremenek
2012-01-07[analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit()...Ted Kremenek
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-11-01[analyzer] Make sink attribute part of the node profile.Anna Zaks
2011-11-01[analyzer] Fix PR11282 - an assert in markAsSinkAnna Zaks
2011-11-01[analyzer] BranchNodeBuilder should not generate autotransitions.Anna Zaks
2011-10-27[analyzer] Move enqueueEndOfFunction into CoreEngine.Anna Zaks
2011-10-27[analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes.Anna Zaks
2011-10-26[analyzer] GenericNodeBuilder -> NodeBuilder.Anna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-24[analyzer] Node builders cleanup + commentsAnna Zaks
2011-10-24[analyzer] Remove the old StmtNodeBuilder.Anna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-24[analyzer] Use a temporary builder in CheckerContext.Anna Zaks
2011-10-24[analyzer] Pass external Dst set to NodeBuilderAnna Zaks
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-10-23[analyzer] Remove LocationContext creation methods from AnalysisManager, and ...Ted Kremenek
2011-10-18[analyzer] Move predecessor into the NodeBuilder context.Anna Zaks
2011-10-18[analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks
2011-10-18[analyzer] Remove StmtNodeBuilder from CheckerContextAnna Zaks
2011-10-18[analyzer] Subclassing StmtBuilder from the NodeBuilderAnna Zaks
2011-10-18[analyzer] Modularize builder use in processBranch.Anna Zaks
2011-10-18[analyzer] Pull Pred out of NodeBuilderContext.Anna Zaks
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-04 21:54:41 +0000