Binary Analysis Platform

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

Algorithms Implemented in OCaml

Program analysis tools developed at Draper on the CBAT project.

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

OCaml rewrite of the ixy network driver

impsrc to impenc translator