This provides the full analyzer caching layer, please avoid using this directly and prefer the FlowrAnalyzer.

Type Parameters

Hierarchy (View Summary)

Hierarchy-Diagram

UML class diagram of FlowrAnalyzerCache

Constructors

Methods

  • Get the control flow graph (CFG) for the request, computing if necessary.

    Parameters

    • force: undefined | boolean

      Do not use the cache, instead force new analyses.

    • useDataflow: boolean

      Whether to use the dataflow graph for the creation of the CFG.

    • simplifications:
          | undefined
          | readonly (
              | "unique-cf-sets"
              | "analyze-dead-code"
              | "remove-dead-code"
              | "to-basic-blocks"
          )[]

      Simplification passes to be applied to the CFG.

    Returns Promise<ControlFlowInformation<CfgSimpleVertex>>

  • Get the control flow graph (CFG) for the request if already available, otherwise return undefined.

    Parameters

    • useDataflow: boolean

      Whether to use the dataflow graph for the creation of the CFG.

    • simplifications:
          | undefined
          | readonly (
              | "unique-cf-sets"
              | "analyze-dead-code"
              | "remove-dead-code"
              | "to-basic-blocks"
          )[]

      Simplification passes to be applied to the CFG.

    Returns undefined | ControlFlowInformation<CfgSimpleVertex>

    FlowrAnalyzerCache#controlflow - to get the control flow graph, computing if necessary.