BINSEC is an OCaml toolset to help improve software security and code analysis at the binary level https://binsec.github.io/ #OCaml #binary #tool