Class ConstantPropagationPlayground

java.lang.Object
org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground

public class ConstantPropagationPlayground extends Object
Run constant propagation for a specific file and create a PDF of the CFG.
  • Method Details

    • main

      public static void main(String[] args)
      Run constant propagation analysis on a file.
      Parameters:
      args - command-line arguments