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