Pinned Repositories
binaryninja-ocaml
OCaml bindings to Binary Ninja
ctypes-static-c-example
Tiny example of building a C object file and statically linking with OCaml (and OCaml-Ctypes)
ctypes-static-lib-ocamlbuild
Linking with a static C library using OCamlbuild and OCaml-Ctypes
keystone-ocaml
OCaml bindings to Keystone Engine (www.keystone-engine.org)
libclang-ocaml-bindings-generator
Utility to generate OCaml bindings for C/C++ headers
libclang-ocaml-ctypes-test
LIEF-ocaml
OCaml bindings to LIEF library
LinearRank-ESOP
Implementation of Termination Analyser from ESOP 2007 (Ranking Abstractions)
mini-invader
Toy implementation of a separation logic based program analysis
openreil-ocaml
OCaml bindings to OpenREIL
aziem's Repositories
aziem/LIEF-ocaml
OCaml bindings to LIEF library
aziem/libclang-ocaml-ctypes-test
aziem/cairo_generative_art
playing with generative art and cairo
aziem/afl-unicorn
afl-unicorn let's you fuzz any piece of binary that can be emulated by Unicorn Engine.
aziem/apron-aplas-2017
Implementation of Aplas 2017 paper "Compact Difference Bound Matrices"
aziem/apron-kent
Kent fork of Apron library - contains implementation of CoDBMs
aziem/apron-orig
Latest release of Apron library (the original version by Bertrand Jeannet and Antoine Mine) with some scripts to help with benchmarking
aziem/Bear
Build EAR
aziem/binaryninja_avr
Binaryninja AVR architecture plugin with lifting
aziem/calcite
Mirror of Apache Calcite
aziem/codbm-frama-c-benchmarks
Frama-C benchmarks used in CoDBM paper(s)
aziem/cpu_features
A cross platform C89 library to get cpu features at runtime.
aziem/crab
Fork of Crab abstract interpretation engine
aziem/crab-llvm
Abstract Interpretation of LLVM bitcode
aziem/crab-sas18-compile
Repo and scripts to build versions of Crab-LLVM using different versions of Apron
aziem/frama-c-sulfur-kent
Kent fork of Frama-C Sulfur (contains some extra build scripts for automation)
aziem/function
aziem/infer
A static analyzer for Java, C and Objective-C
aziem/intellij-lsp-server
Exposes IntelliJ IDEA features through the Language Server Protocol.
aziem/legend-pure
Legend Pure module
aziem/libegit2
Emacs bindings for libgit2
aziem/lsp-intellij
Emacs client for lsp-intellij-server
aziem/noti
Monitor a process and trigger a notification.
aziem/ocaml-codbm-benchmarking
Repo to benchmark CoDBM papers
aziem/PandemicML
Pandemic binary program analysis framework in OCaml (abandoned)
aziem/phasar
A LLVM-based static analysis framework.
aziem/popl2018-papers
Link to preprints for POPL'18 and colocated events
aziem/schism
A self-hosting Scheme to WebAssembly compiler
aziem/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
aziem/zydis
Fast and lightweight x86/x86-64 disassembler library