#include "clang/AST/Expr.h"#include "clang/Analysis/AnalysisContext.h"#include "clang/StaticAnalyzer/Core/PathSensitive/BlockCounter.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"#include "clang/StaticAnalyzer/Core/PathSensitive/FunctionSummary.h"#include "clang/StaticAnalyzer/Core/PathSensitive/WorkList.h"#include <memory>
Include dependency graph for CoreEngine.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | clang::ento::CoreEngine |
| struct | clang::ento::NodeBuilderContext |
| class | clang::ento::NodeBuilder |
| This is the simplest builder which generates nodes in the ExplodedGraph. More... | |
| class | clang::ento::NodeBuilderWithSinks |
| This node builder keeps track of the generated sink nodes. More... | |
| class | clang::ento::StmtNodeBuilder |
| This builder class is useful for generating nodes that resulted from visiting a statement. The main difference from its parent NodeBuilder is that it creates a statement specific ProgramPoint. More... | |
| class | clang::ento::BranchNodeBuilder |
| BranchNodeBuilder is responsible for constructing the nodes corresponding to the two branches of the if statement - true and false. More... | |
| class | clang::ento::IndirectGotoNodeBuilder |
| class | clang::ento::IndirectGotoNodeBuilder::iterator |
| class | clang::ento::SwitchNodeBuilder |
| class | clang::ento::SwitchNodeBuilder::iterator |
Namespaces | |
| namespace | clang |
| namespace | clang::ento |