clang
3.9.0
|
#include <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 447 of file CoreEngine.h.
|
inline |
Definition at line 455 of file CoreEngine.h.
|
inline |
Definition at line 478 of file CoreEngine.h.
References clang::CFGBlock::succ_begin().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 479 of file CoreEngine.h.
References clang::CFGBlock::succ_end().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
ExplodedNode * IndirectGotoNodeBuilder::generateNode | ( | const iterator & | I, |
ProgramStateRef | State, | ||
bool | isSink = false |
||
) |
Definition at line 686 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 489 of file CoreEngine.h.
References clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 487 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 485 of file CoreEngine.h.
References E.
Referenced by clang::ento::ExprEngine::processIndirectGoto().