backward_analysis: Compute Fixed Point Solution for Backward Analysis

Description Usage Arguments Value

View source: R/flow_analysis.R

Description

This function solves for the maximal fixed point in a backward analysis.

Usage

1
2
3
backward_analysis(cfg, initial, gen, kill, confluence = union,
  update = dfa_standard_update, ..., full_analysis = FALSE,
  max_iter = 1000L)

Arguments

cfg

(ControlFlowGraph) The CFG to compute the analysis for.

initial

Initial guess of solution for each block.

gen

Gen sets for each block.

kill

Kill sets for each block.

confluence

A function to combine old set and update set for a block.

update

A function to compute the update set for a block.

...

Additional arguments to the update function.

full_analysis

(logical) If TRUE, the update sets are computed in addition to the result sets.

max_iter

(integer) Maximum number of iterations to run.

Value

A two-element list. The first element, "entry", is NULL, or for a full analysis, a list of solution sets at the entry to each block. The second element, "exit", is a list of solution sets at the exit from each block.


nick-ulle/ast documentation built on July 17, 2018, 4:16 a.m.