#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"#include "clang/AST/ParentMap.h"#include "clang/AST/Stmt.h"#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"#include "llvm/ADT/DenseMap.h"#include "llvm/ADT/DenseSet.h"#include "llvm/ADT/SmallVector.h"#include "llvm/ADT/Statistic.h"#include <vector>
Include dependency graph for ExplodedGraph.cpp:
Go to the source code of this file.
Typedefs | |
| typedef BumpVector < ExplodedNode * > | ExplodedNodeVector |
| typedef llvm::PointerUnion < ExplodedNode *, ExplodedNodeVector * > | GroupStorage |
Variables | |
| static ExplodedNode::Auditor * | NodeAuditor = nullptr |
Typedef Documentation
| typedef BumpVector<ExplodedNode *> ExplodedNodeVector |
Definition at line 215 of file ExplodedGraph.cpp.
| typedef llvm::PointerUnion<ExplodedNode *, ExplodedNodeVector *> GroupStorage |
Definition at line 216 of file ExplodedGraph.cpp.
Variable Documentation
ExplodedNode::Auditor* NodeAuditor = nullptr [static] |
Definition at line 37 of file ExplodedGraph.cpp.
Referenced by clang::ento::ExplodedNode::addPredecessor(), and clang::ento::ExplodedNode::SetAuditor().