aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/CoreEngine.cpp
AgeCommit message (Expand)Author
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
2011-10-18[analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks
2011-10-18[analyzer] Node Builder refactoring: Introduce a simple Node Builder responsi...Anna Zaks
2011-10-11[analyzer] Remove an unused member variable.Anna Zaks
2011-10-10[analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goo...Ted Kremenek
2011-10-07ProgramPoint cleanup after the previous commit r141408 (remove the copy const...Anna Zaks
2011-09-30Fix crash when analyzing C++ code involving constant enums and switch stateme...Ted Kremenek
2011-09-30[analyzer] Add -analyzer-purge option which can take on multiple values, remo...Anna Zaks
2011-09-26Rename PathDiagnosticClient to PathDiagnosticConsumer as per issue 5397David Blaikie
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-09-02[analyzer] Remove lingering CFRefCount creation, which would have resulted in...Jordy Rose
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek
2011-08-12[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.Ted Kremenek
2011-08-11Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilde...Anna Zaks
2011-07-23remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner
2011-07-21Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek
2011-04-23Remove unused STL header includes.Jay Foad
2011-04-03static analyzer: Add a new ProgramPoint PostCondition to represent the post p...Ted Kremenek
2011-04-02static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that ...Ted Kremenek
2011-02-23[analyzer] Refactor EndOfFunctionNodeBuilder.Argyrios Kyrtzidis
2011-02-17Change the representation of GNU ?: expressions to use a different expressionJohn McCall
2011-02-14[analyzer] Overhauling of the checker registration mechanism.Argyrios Kyrtzidis
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-07 07:16:49 +0000