Hide content and notifications from this user.
Contact Support about this user's behavior.
Simple tool to microbenchmark the Apron domain meet operation
PPL with SICStus bindings working
OCaml bindings to OpenREIL
Linking with a static C library using OCamlbuild and OCaml-Ctypes
Commands and functions for retrieving web page content and processing it into and displaying it as Org-mode content.
OCaml bindings to Binary Ninja
Automated static analysis tools for binary programs
Some C++ example code to demonstrate how to perform code similarity searches using MinHashing of small subgraphs
Playing with Bucklescript and Processing.js
The Sparrow Static Analyzer
OCaml bindings to LIEF library
Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)
A software framework for global sparse analyzers and their verified validators
LIEF - Library to Instrument Executable Formats
Scripts for Binary Ninja
Rust ❤️ Emacs
Link to preprints for POPL'17 and co-located events
Simple myocamlbuild.ml to call nvcc compiler
Build a C object file and static link with OCaml binary (uses OCamlbuild and Ocaml-Ctypes)
Tiny example of building a C object file and statically linking with OCaml (and OCaml-Ctypes)
SAT solver interfaces (minisat, picosat, cryptominisat)
Constraint solver based on abstract domains
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
OCaml bindings to Keystone Engine (www.keystone-engine.org)
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
Programs from the book Lisp in Small Pieces, updated to work on modern schemes