|
clang
5.0.0
|
#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/DenseSet.h"#include "llvm/ADT/SmallVector.h"#include "llvm/ADT/Statistic.h"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 BumpVector<ExplodedNode *> ExplodedNodeVector |
Definition at line 213 of file ExplodedGraph.cpp.
| typedef llvm::PointerUnion<ExplodedNode *, ExplodedNodeVector *> GroupStorage |
Definition at line 214 of file ExplodedGraph.cpp.
|
static |
Definition at line 35 of file ExplodedGraph.cpp.
Referenced by clang::ento::ExplodedNode::addPredecessor(), and clang::ento::ExplodedNode::SetAuditor().
1.8.6