Module Binsec.Ida

val parse_cg : unit -> Ida_cg.t

Callgraph

val parse_cfg : simple:bool -> ida_file:string -> Ida_cfg.G.t

Control-flow graph

val run : unit -> unit