airbus-seclab / bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
1.66k stars 159 forks source link

Build is broken on debian sid #103

Closed trou closed 4 years ago

trou commented 4 years ago

OCaml 4.08 just reached sid. Build fails, even with libnum-ocaml installed:

ocamlopt -g -w Ael -warn-error +a-3-7-50-42-44-58-26 -unsafe-string  -I /usr/lib/ocaml/ocamlgraph  -I /usr/lib/ocaml/zarith  -I /usr/lib/ocaml/num -I utils -I newspeak -I c2newspeak  -c newspeak/eBigInt.mli
File "newspeak/eBigInt.mli", line 21, characters 5-8:
21 | open Nat
          ^^^
Error: Unbound module Nat