Class ConstantPropagationPlayground
java.lang.Object
org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
Run constant propagation for a specific file and create a PDF of the CFG.
-
Method Summary
-
Method Details
-
main
Run constant propagation analysis on a file.- Parameters:
args
- command-line arguments
-