JFrontend (infer.JavaFrontend.JFrontend)

val classname_path : Javalib_pack.JBasics.class_name -> string

path_of_cached_classname cn returns the path of a cached classname

val cache_classname : Javalib_pack.JBasics.class_name -> unit

cache_classname cn stores the classname to the disk

val is_classname_cached : Javalib_pack.JBasics.class_name -> bool

is_classname_cached cn

val compute_source_icfg : 
  JProgramDesc.t ->
  IR.Tenv.t ->
  string ->
  string list option ->
  IBase.SourceFile.t ->
  IR.Cfg.t

compute_cfg linereader program tenv source_basename source_file create the control flow graph for the file source_file by translating all the classes in program originating from source_file

val compute_class_icfg : 
  IBase.SourceFile.t ->
  JProgramDesc.t ->
  IR.Tenv.t ->
  Javalib_pack.JCode.jcode Javalib_pack.Javalib.interface_or_class ->
  IR.Cfg.t

Compute the CFG for a class