clang
6.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 448 of file CoreEngine.h.
|
inline |
Definition at line 456 of file CoreEngine.h.
|
inline |
Definition at line 479 of file CoreEngine.h.
References clang::CFGBlock::succ_begin().
|
inline |
Definition at line 480 of file CoreEngine.h.
References clang::CFGBlock::succ_end().
ExplodedNode * IndirectGotoNodeBuilder::generateNode | ( | const iterator & | I, |
ProgramStateRef | State, | ||
bool | isSink = false |
||
) |
Definition at line 699 of file CoreEngine.cpp.
|
inline |
Definition at line 490 of file CoreEngine.h.
References clang::ento::ExplodedNode::getLocationContext().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 488 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 486 of file CoreEngine.h.
Referenced by clang::ento::ExprEngine::processIndirectGoto().