Class PathAnalysis


  • public class PathAnalysis
    extends java.lang.Object
    Contains utilities to analyse syntactically available paths and construct corresponding path conditions.