org.checkerframework.dataflow.livevariable.package-info Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of dataflow-shaded Show documentation
Show all versions of dataflow-shaded Show documentation
dataflow-shaded is a dataflow framework based on the javac compiler.
It differs from the org.checkerframework:dataflow artifact in two ways.
First, the packages in this artifact have been renamed to org.checkerframework.shaded.*.
Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
/**
* Classes using for live variable analysis. Live variable analysis is a backward analysis to
* calculate the variables that are live at each point in the program. To run live variable
* analysis, see {@link org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground}.
*
* @see https://en.wikipedia.org/wiki/Live_variable_analysis
*/
package org.checkerframework.dataflow.livevariable;