VirtualCFG::MakeClosure

Synopsis

Declared in <SageIII/virtualCFG/filteredCFGImpl.h>

template<
    typename FindSuccessors,
    typename FindEnd,
    typename DontAddChildren,
    typename Join,
    typename FilteredEdge>
struct MakeClosure;

Member Functions

Name

Description

MakeClosure [constructor]

filter

Process visited CFGPaths: convert them into edges

go

Process one CFGPath at a time: make sure the end edge is an interesting one (should not be filtered out)

Data Members

Name

Created with MrDocs