GitHub repository: ufo2011/binsec-1
Primary language: OCaml
Description: BINSEC binary-level open-source platform