Description Usage Arguments Value

View source: R/flow_analysis.R

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 |

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

Embedding an R snippet on your website

Add the following code to your website.

For more information on customizing the embed code, read Embedding Snippets.