aziem Goto Github PK

absolute

Constraint solver based on abstract domains

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-microbenchmark

Simple tool to microbenchmark the Apron domain meet operation

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-ocaml

OCaml bindings to Binary Ninja

binaryninja_avr

Binaryninja AVR architecture plugin with lifting

binjascripts

Scripts for Binary Ninja

bucklescript-processingjs-play

Playing with Bucklescript and Processing.js

cairo_generative_art

playing with generative art and cairo

calcite

Mirror of Apache Calcite

capstone

Capstone engine: Core + Python + Ocaml + Java + C# bindings

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

ctypes-static-c-example

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

ctypes-static-c-ocamlbuild-example

Build a C object file and static link with OCaml binary (uses OCamlbuild and Ocaml-Ctypes)

ctypes-static-lib-ocamlbuild

Linking with a static C library using OCamlbuild and OCaml-Ctypes

frama-c-sulfur-kent

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

function

functionsimsearch

Some C++ example code to demonstrate how to perform code similarity searches using MinHashing of small subgraphs

gt-wunderhorn

infer

A static analyzer for Java, C and Objective-C

install-clang

A script to create a standalone installation of clang/LLVM/libc++

intellij-lsp-server

Exposes IntelliJ IDEA features through the Language Server Protocol.

keystone

Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings