Pinned Loading

1. binaryninja-ocaml binaryninja-ocaml Public

   OCaml bindings to Binary Ninja

   OCaml 6

2. LIEF-ocaml LIEF-ocaml Public

   OCaml bindings to LIEF library

   OCaml 4

3. LinearRank-ESOP LinearRank-ESOP Public

   Implementation of Termination Analyser from ESOP 2007 (Ranking Abstractions)

   OCaml 1

4. mini-invader mini-invader Public

   Toy implementation of a separation logic based program analysis

   OCaml 2 1

5. ctypes-static-c-example ctypes-static-c-example Public

   Tiny example of building a C object file and statically linking with OCaml (and OCaml-Ctypes)

   Makefile 3

6. libclang-ocaml-bindings-generator libclang-ocaml-bindings-generator Public

   Utility to generate OCaml bindings for C/C++ headers

   C++ 1 1