clang
9.0.0svn
|
#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
Definition at line 46 of file SubEngine.h.
|
inlinevirtual |
Definition at line 49 of file SubEngine.h.
References clang::CodeGen::state.
|
pure virtual |
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::AnyFunctionCall::getRuntimeDefinition(), and clang::ento::SValBuilder::makeSymExprValNN().
|
pure virtual |
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::AnyFunctionCall::getRuntimeDefinition().
|
pure virtual |
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkList().
|
pure virtual |
Implemented in clang::ento::ExprEngine.
|
pure virtual |
Implemented in clang::ento::ExprEngine.
|
pure virtual |
printState - Called by ProgramStateManager to print checker-specific data.
Implemented in clang::ento::ExprEngine.
|
pure virtual |
Called by ConstraintManager.
Used to call checker-specific logic for handling assumptions on symbolic values.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::SimpleConstraintManager::assume().
|
pure virtual |
Called by CoreEngine.
Used to notify checkers that processing a function has begun. Called for both inlined and and top-level functions.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkList().
|
pure virtual |
Called by CoreEngine.
Used to generate successor nodes by processing the 'effects' of a branch condition.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::dispatchWorkItem().
|
pure virtual |
Called by CoreEngine when it starts processing a CFGBlock.
The SubEngine is expected to populate dstNodes with new nodes representing updated analysis state, or generate no nodes at all if it doesn't.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Called by CoreEngine.
Used to generate new successor nodes by processing the 'effects' of a block-level statement.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Called by CoreEngine.
Used to generate successor nodes for temporary destructors depending on whether the corresponding constructor was visited.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Called by CoreEngine.
Used to notify checkers that processing a function has ended. Called for both inlined and and top-level functions.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Called by CoreEngine when the analysis worklist is either empty or the.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkList().
|
pure virtual |
Called by CoreEngine.
Used to generate successor nodes by processing the 'effects' of a computed goto jump.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Implemented in clang::ento::ExprEngine.
|
inline |
Definition at line 145 of file SubEngine.h.
References State.
Referenced by clang::ento::ProgramState::bindDefaultInitial(), clang::ento::ProgramState::bindDefaultZero(), clang::ento::ExprEngine::getInitialState(), and clang::ento::ProgramStateManager::removeDeadBindings().
|
pure virtual |
processRegionChanges - Called by ProgramStateManager whenever a change is made to the store.
Used to update checkers that track region values.
Implemented in clang::ento::ExprEngine.
|
pure virtual |
Called by CoreEngine.
Used to processing branching behavior at static initializers.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().
|
pure virtual |
Called by CoreEngine.
Used to generate successor nodes by processing the 'effects' of a switch statement.
Implemented in clang::ento::ExprEngine.
Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState().