dwarf-synthesis/DwarfSynth/Main.ml

open Std

let main outfile proj =
  let pre_dwarf = Simplest.of_proj proj in
  Format.printf "%a" Frontend.pp_pre_dwarf_readelf pre_dwarf
Generate CFA tracking with RIP 2018-10-23 19:21:57 +02:00			`open Std`

			`let main outfile proj =`
			`let pre_dwarf = Simplest.of_proj proj in`
Frontend: print as `readelf -wF` 2018-11-19 16:09:37 +01:00			`Format.printf "%a" Frontend.pp_pre_dwarf_readelf pre_dwarf`