/**
 * 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 <a
 *     href="https://en.wikipedia.org/wiki/Live_variable_analysis">https://en.wikipedia.org/wiki/Live_variable_analysis</a>
 */
package org.checkerframework.dataflow.livevariable;