clang
9.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/WorkList.h"
Public Member Functions | |
virtual | ~WorkList () |
virtual bool | hasWork () const =0 |
virtual void | enqueue (const WorkListUnit &U)=0 |
void | enqueue (ExplodedNode *N, const CFGBlock *B, unsigned idx) |
void | enqueue (ExplodedNode *N) |
virtual WorkListUnit | dequeue ()=0 |
void | setBlockCounter (BlockCounter C) |
BlockCounter | getBlockCounter () const |
Static Public Member Functions | |
static std::unique_ptr< WorkList > | makeDFS () |
static std::unique_ptr< WorkList > | makeBFS () |
static std::unique_ptr< WorkList > | makeBFSBlockDFSContents () |
static std::unique_ptr< WorkList > | makeUnexploredFirst () |
static std::unique_ptr< WorkList > | makeUnexploredFirstPriorityQueue () |
static std::unique_ptr< WorkList > | makeUnexploredFirstPriorityLocationQueue () |
Definition at line 60 of file WorkList.h.
|
virtualdefault |
|
pure virtual |
|
pure virtual |
Referenced by clang::ento::ExprEngine::processCallExit().
|
inline |
Definition at line 68 of file WorkList.h.
References clang::ento::WorkListUnit::WorkListUnit().
|
inline |
Definition at line 72 of file WorkList.h.
References clang::ProgramPoint::getKind(), clang::ento::ExplodedNode::getLocation(), clang::ProgramPoint::PostStmtKind, and clang::ento::WorkListUnit::WorkListUnit().
|
inline |
Definition at line 80 of file WorkList.h.
|
pure virtual |
Referenced by clang::ento::ExprEngine::hasEmptyWorkList().
|
static |
Definition at line 85 of file WorkList.cpp.
References clang::BFSBlockDFSContents.
Referenced by generateWorkList().
|
static |
Definition at line 126 of file WorkList.cpp.
References clang::ProgramPoint::getAs(), clang::ento::ExplodedNode::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::WorkListUnit::getNode(), and clang::LocationContext::getStackFrame().
Referenced by generateWorkList().
|
static |
Definition at line 81 of file WorkList.cpp.
Referenced by generateWorkList().
|
static |
Definition at line 188 of file WorkList.cpp.
References clang::ProgramPoint::getAs(), clang::ento::ExplodedNode::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::WorkListUnit::getNode(), and clang::LocationContext::getStackFrame().
Referenced by generateWorkList().
|
static |
Definition at line 311 of file WorkList.cpp.
Referenced by generateWorkList().
|
static |
Definition at line 251 of file WorkList.cpp.
References clang::CFGBlock::empty(), clang::ProgramPoint::getAs(), clang::ento::ExplodedNode::getLocation(), and clang::ento::WorkListUnit::getNode().
Referenced by generateWorkList().
|
inline |
Definition at line 79 of file WorkList.h.