• Home
• org.checkerframework
• dataflow-shaded
• 3.48.1
• source code
• package-info.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.checkerframework.dataflow.livevariable.package-info Maven / Gradle / Ivy

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