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-nullaway Show documentation

dataflow-nullaway 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.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

There is a newer version: 3.48.4

Show newest version

/**
 * 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;