Package org.checkerframework.dataflow.cfg.playground

package org.checkerframework.dataflow.cfg.playground

Related Packages

Package	Description
org.checkerframework.dataflow.cfg
org.checkerframework.dataflow.cfg.block
org.checkerframework.dataflow.cfg.builder
org.checkerframework.dataflow.cfg.node
org.checkerframework.dataflow.cfg.visualize

Classes

Class	Description
ConstantPropagationPlayground	Run constant propagation for a specific file and create a PDF of the CFG.
LiveVariablePlayground	The playground of live variable analysis.