aziem

LIEF-ocaml

OCaml bindings to LIEF library

libclang-ocaml-ctypes-test

cairo_generative_art

playing with generative art and cairo

afl-unicorn

afl-unicorn let's you fuzz any piece of binary that can be emulated by Unicorn Engine.

apron-aplas-2017

Implementation of Aplas 2017 paper "Compact Difference Bound Matrices"

apron-kent

Kent fork of Apron library - contains implementation of CoDBMs

apron-orig

Latest release of Apron library (the original version by Bertrand Jeannet and Antoine Mine) with some scripts to help with benchmarking

Bear

Build EAR

binaryninja_avr

Binaryninja AVR architecture plugin with lifting

calcite

Mirror of Apache Calcite

codbm-frama-c-benchmarks

Frama-C benchmarks used in CoDBM paper(s)

cpu_features

A cross platform C89 library to get cpu features at runtime.

crab

Fork of Crab abstract interpretation engine

crab-llvm

Abstract Interpretation of LLVM bitcode

crab-sas18-compile

Repo and scripts to build versions of Crab-LLVM using different versions of Apron

frama-c-sulfur-kent

Kent fork of Frama-C Sulfur (contains some extra build scripts for automation)

function

infer

A static analyzer for Java, C and Objective-C

intellij-lsp-server

Exposes IntelliJ IDEA features through the Language Server Protocol.

legend-pure

Legend Pure module

libegit2

Emacs bindings for libgit2

lsp-intellij

Emacs client for lsp-intellij-server

noti

Monitor a process and trigger a notification.

ocaml-codbm-benchmarking

Repo to benchmark CoDBM papers

PandemicML

Pandemic binary program analysis framework in OCaml (abandoned)

phasar

A LLVM-based static analysis framework.

popl2018-papers

Link to preprints for POPL'18 and colocated events

schism

A self-hosting Scheme to WebAssembly compiler

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

zydis

Fast and lightweight x86/x86-64 disassembler library