Package org.checkerframework.dataflow.cfg.playground
package org.checkerframework.dataflow.cfg.playground
-
ClassesClassDescriptionRun busy expression analysis on a file and create a PDF of the CFG.Run constant propagation on a file and create a PDF of the CFG.Run live variable analysis on a file and create a PDF of the CFG.Run reaching definition analysis on a file and create a PDF of the CFG.