class IndirectGotoNodeBuilder

Declaration

class IndirectGotoNodeBuilder { /* full declaration omitted */ };

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:484

Member Variables

private clang::ento::CoreEngine& Eng

private const clang::CFGBlock* Src

private const clang::CFGBlock& DispatchBlock

private const clang::Expr* E

private clang::ento::ExplodedNode* Pred

Method Overview

• public IndirectGotoNodeBuilder(clang::ento::ExplodedNode * pred, const clang::CFGBlock * src, const clang::Expr * e, const clang::CFGBlock * dispatch, clang::ento::CoreEngine * eng)
• public clang::ento::IndirectGotoNodeBuilder::iterator begin()
• public clang::ento::IndirectGotoNodeBuilder::iterator end()
• public clang::ento::ExplodedNode * generateNode(const clang::ento::IndirectGotoNodeBuilder::iterator & I, clang::ento::ProgramStateRef State, bool isSink = false)
• public const clang::LocationContext * getLocationContext() const
• public clang::ento::ProgramStateRef getState() const
• public const clang::Expr * getTarget() const

Methods

¶IndirectGotoNodeBuilder(
    clang::ento::ExplodedNode* pred,
    const clang::CFGBlock* src,
    const clang::Expr* e,
    const clang::CFGBlock* dispatch,
    clang::ento::CoreEngine* eng)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:492

Parameters

clang::ento::ExplodedNode* pred

const clang::CFGBlock* src

const clang::Expr* e

const clang::CFGBlock* dispatch

clang::ento::CoreEngine* eng

¶clang::ento::IndirectGotoNodeBuilder::iterator
begin()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:516

¶clang::ento::IndirectGotoNodeBuilder::iterator
end()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:517

¶clang::ento::ExplodedNode* generateNode(
    const clang::ento::IndirectGotoNodeBuilder::
        iterator& I,
    clang::ento::ProgramStateRef State,
    bool isSink = false)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:519

Parameters

const clang::ento::IndirectGotoNodeBuilder:: iterator& I

clang::ento::ProgramStateRef State

bool isSink = false

¶const clang::LocationContext* getLocationContext()
    const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:527

¶clang::ento::ProgramStateRef getState() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:525

¶const clang::Expr* getTarget() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:523