summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-4/+4
* Simplify ownership of ExplodedGraph in the CoreEngine by removing unique_ptr ...David Blaikie2014-08-081-25/+25
* Re-applying r214962.Manuel Klimek2014-08-071-0/+17
* Revert "Fix modelling of non-lifetime-extended temporary destructors in the a...Rui Ueyama2014-08-061-17/+0
* Fix modelling of non-lifetime-extended temporary destructors in the analyzer.Manuel Klimek2014-08-061-0/+17
* [analyzer] Don't create new PostStmt nodes if we don't have to.Jordan Rose2014-06-181-1/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-10/+10
* [Modules] Fix potential ODR violations by sinking the DEBUG_TYPEChandler Carruth2014-04-221-2/+2
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-14/+14
* [analyzer] Inline C++ operator new when c++-inline-allocators is turned on.Jordan Rose2014-02-111-0/+5
* Add static analyzer support for conditionally executing static initializers.Ted Kremenek2013-03-291-0/+18
* Remove the CFGElement "Invalid" state.David Blaikie2013-02-231-2/+2
* Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie2013-02-211-12/+12
* Replace CFGElement llvm::cast support to be well-defined.David Blaikie2013-02-211-1/+1
* 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
OpenPOWER on IntegriCloud