backward_analysis: Compute Fixed Point Solution for Backward Analysis
In nick-ulle/rstatic: Low-level Static Analysis Tools for R Code

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

1
2
3

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

`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.

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/rstatic documentation built on Oct. 18, 2019, 4:38 a.m.