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;
  let pre_c_dwarf = PreCBinding.convert_pre_c pre_dwarf in
  let fd = open_out_bin outfile in
  Marshal.to_channel fd pre_c_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`
initial commit of ocaml->c wrappers. as bap linking is already complicated, two independent binaries communicate via a tmp.marshall file for now. 2018-12-30 19:10:51 +01:00			`Format.printf "%a" Frontend.pp_pre_dwarf_readelf pre_dwarf;`
ml_dwarf_write: write to a separate file Don't try to write into the ELF file directly, use objcopy. Updated README 2019-03-18 14:20:53 +01:00			`let pre_c_dwarf = PreCBinding.convert_pre_c pre_dwarf in`
			`let fd = open_out_bin outfile in`
initial commit of ocaml->c wrappers. as bap linking is already complicated, two independent binaries communicate via a tmp.marshall file for now. 2018-12-30 19:10:51 +01:00			`Marshal.to_channel fd pre_c_dwarf []`