clang
9.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
Classes | |
class | iterator |
Public Member Functions | |
IndirectGotoNodeBuilder (ExplodedNode *pred, const CFGBlock *src, const Expr *e, const CFGBlock *dispatch, CoreEngine *eng) | |
iterator | begin () |
iterator | end () |
ExplodedNode * | generateNode (const iterator &I, ProgramStateRef State, bool isSink=false) |
const Expr * | getTarget () const |
ProgramStateRef | getState () const |
const LocationContext * | getLocationContext () const |
Definition at line 477 of file CoreEngine.h.
|
inline |
Definition at line 485 of file CoreEngine.h.
|
inline |
Definition at line 509 of file CoreEngine.h.
References clang::CFGBlock::succ_begin().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 510 of file CoreEngine.h.
References State, and clang::CFGBlock::succ_end().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
ExplodedNode * IndirectGotoNodeBuilder::generateNode | ( | const iterator & | I, |
ProgramStateRef | State, | ||
bool | isSink = false |
||
) |
Definition at line 648 of file CoreEngine.cpp.
References clang::ento::ExplodedNode::addPredecessor(), clang::ento::IndirectGotoNodeBuilder::iterator::getBlock(), and clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 520 of file CoreEngine.h.
References clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 518 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 516 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processIndirectGoto().