aziem Goto Github PK

keystone-ocaml

OCaml bindings to Keystone Engine (www.keystone-engine.org)

legend-pure

Legend Pure module

libclang-ocaml-bindings-generator

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

libclang-ocaml-ctypes-test

libegit2

Emacs bindings for libgit2

lief

LIEF - Library to Instrument Executable Formats

lief-ocaml

OCaml bindings to LIEF library

lilian

Machine Learning Toolkit

linearrank-esop

Implementation of Termination Analyser from ESOP 2007 (Ranking Abstractions)

lisp-in-small-pieces

Programs from the book Lisp in Small Pieces, updated to work on modern schemes

literature_review

Survey of program analysis research with a focus on machine code

llvm-nwa

LLVM pass that outputs an NWA CFG

lsp-intellij

Emacs client for lsp-intellij-server

mini-invader

Toy implementation of a separation logic based program analysis

noti

Monitor a process and trigger a notification.

ocaml-buddy

binding for the BDD buddy library

ocaml-codbm-benchmarking

Repo to benchmark CoDBM papers

ocamlbuild-nvcc-simple

Simple myocamlbuild.ml to call nvcc compiler

open-source-case-studies

Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)

openreil-ocaml

OCaml bindings to OpenREIL

org-web-tools

Commands and functions for retrieving web page content and processing it into and displaying it as Org-mode content.

pandemicml

Pandemic binary program analysis framework in OCaml (abandoned)

pharos

Automated static analysis tools for binary programs

phasar

A LLVM-based static analysis framework.

popl2015-papers

Accepted papers for POPL 2015

popl2016-papers

Links to publicly available preprints for the POPL'16 conference

popl2017-papers

Link to preprints for POPL'17 and co-located events

popl2018-papers

Link to preprints for POPL'18 and colocated events

ppl-sicstus-build

PPL with SICStus bindings working

rdr

Rdr is a cross-platform binary analysis and reverse engineering tool, utilizing a unique symbol map for global analysis.