summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* ProgramPoint cleanup after the previous commit r141408 (remove the copy const...Anna Zaks2011-10-071-27/+2
* Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek2011-09-301-2/+7
* [analyzer] Add -analyzer-purge option which can take on multiple values, remo...Anna Zaks2011-09-301-20/+2
* Rename PathDiagnosticClient to PathDiagnosticConsumer as per issue 5397David Blaikie2011-09-261-1/+1
* Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie2011-09-231-1/+0
* Switch assert(0/false) llvm_unreachable.David Blaikie2011-09-231-2/+2
* [analyzer] Remove lingering CFRefCount creation, which would have resulted in...Jordy Rose2011-09-021-12/+3
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-33/+39
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-44/+44
* [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek2011-08-121-6/+9
* Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks2011-08-111-1/+0
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-9/+6
* Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek2011-07-211-3/+5
* Remove unused STL header includes.Jay Foad2011-04-231-2/+0
* static analyzer: Add a new ProgramPoint PostCondition to represent the post p...Ted Kremenek2011-04-031-0/+19
* static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that ...Ted Kremenek2011-04-021-1/+1
* [analyzer] Refactor EndOfFunctionNodeBuilder.Argyrios Kyrtzidis2011-02-231-3/+4
* Change the representation of GNU ?: expressions to use a different expressionJohn McCall2011-02-171-1/+3
* [analyzer] Overhauling of the checker registration mechanism.Argyrios Kyrtzidis2011-02-141-0/+1
OpenPOWER on IntegriCloud