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
BusyExpressionPlayground	The playground for busy expression analysis.
ConstantPropagationPlayground	Run constant propagation for a specific file and create a PDF of the CFG.
LiveVariablePlayground	The playground of live variable analysis.
ReachingDefinitionPlayground	The playground for reaching definition analysis.