|
clang
5.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().
Referenced by clang::ento::ExprEngine::processIndirectGoto().
|
inline |
Definition at line 480 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 697 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 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.
References E.
Referenced by clang::ento::ExprEngine::processIndirectGoto().
1.8.6