camfort-0.802: CamFort - Cambridge Fortran infrastructure

Camfort.Analysis.LVA

Description

Provides live-variable analysis for Fortran code. One of the simpler analyses in the suite (a good starting point for any new developers). This demonstrates the use of the "zipper" format, and various helpers from Syntax and Traverse.

lva is the top-level definition here.

Synopsis

# Documentation

live-variable analysis on a program

live-variable analysis at the level of a unit, not whole-program,iterates lva1 until a fixed-point is reached

Single iteration of live-variable analysis over the zipper for an AST

Variables killed by the current statement

Variables generated (made live) by the current statement