aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
AgeCommit message (Expand)Author
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-03[analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks
2012-09-15Use LLVM_DELETED_FUNCTION in place of 'DO NOT IMPLEMENT' comments.Dmitri Gribenko
2012-08-30[analyzer] Refactor the logic that determines if a functions should beAnna Zaks
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose
2012-06-29[analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph.Jordan Rose
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-20[analyzer] ConstifyAnna Zaks
2012-04-12[analyzer] PCH deserialization optimization.Anna Zaks
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-09[analyzer] Add support for NoRedundancy inlining mode.Anna Zaks
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith
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
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
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] Remove forward declarations of GenericNodeBuilderAnna 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] Convert VisitDeclStmt to use local node builder.Anna Zaks
2011-10-24[analyzer] Convert more functions (ex:evalBind()) to iterative buildersAnna Zaks
2011-10-24[analyzer] Convert VisitUnaryOperator to use short lived Node buildersAnna 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-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] Remove redundant method + whitespace.Anna 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-07[analyzer] Remove dead code.Anna Zaks
2011-10-03[analyzer] In UndefBranchChecker, use a node generator which does not create ...Anna Zaks
2011-08-28[analyzer] Header cleanup to decrease coupling (and recompilation). No functi...Jordy Rose
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-04-30 00:35:29 +0000