clang
6.0.0
|
#include "clang/AST/Expr.h"
#include "clang/Analysis/AnalysisDeclContext.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>
Go to the source code of this file.
Classes | |
class | clang::ento::CoreEngine |
CoreEngine - Implements the core logic of the graph-reachability analysis. More... | |
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. 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 | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |