backward_analysis: Compute Fixed Point Solution for Backward Analysis

In nick-ulle/ast: Low-level Static Analysis Tools for R Code

Compute Fixed Point Solution for Backward Analysis

Description

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

Usage

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 May 14, 2024, 7:40 p.m.