`val path_of_cached_classname : 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 : Printer.LineReader.t ‑> Javalib_pack.JBasics.ClassSet.t ‑> JClasspath.program ‑> InferIR.Tenv.t ‑> string ‑> string option ‑> InferBase.SourceFile.t ‑> InferIR.Cfg.t`

`compute_cfg linereader classes 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 : InferBase.SourceFile.t ‑> Printer.LineReader.t ‑> JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JCode.jcode Javalib_pack.Javalib.interface_or_class ‑> InferIR.Cfg.t`

Compute the CFG for a class