Interface CfgInformationArguments

interface CfgInformationArguments {
    checkReachable?: boolean;
    forceRefresh?: boolean;
    simplificationPasses?: (
        | "unique-cf-sets"
        | "analyze-dead-code"
        | "remove-dead-code"
        | "to-basic-blocks"
    )[];
    [key: string]: unknown;
}

Hierarchy (View Summary)

Indexable

  • [key: string]: unknown

Hierarchy-Diagram

UML class diagram of CfgInformationArguments

Properties

checkReachable? forceRefresh? simplificationPasses?

Properties

OptionalcheckReachable

checkReachable?: boolean

Whether to check nodes for reachability, and subsequently set CfgInformationSearchContent.reachableNodes and CfgInformationElementContent.isReachable. Defaults to false.

OptionalforceRefresh

forceRefresh?: boolean

Whether to recalculate the CFG information if it already exists on the current search. Defaults to false.

OptionalsimplificationPasses

simplificationPasses?: (
    | "unique-cf-sets"
    | "analyze-dead-code"
    | "remove-dead-code"
    | "to-basic-blocks"
)[]

The simplification passes that should be run on the extracted CFG. Defaults to the entries of DefaultCfgSimplificationOrder.

Settings

Member Visibility

On This Page

Properties