Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Implementations of program analysis tools with a focus on machine code
C C++ Java Ruby Coq OCaml Other
branch: master

README.md

"First, we want to establish the idea that a computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute." ~ Abelson and Sussman

Literature Review

CacheAudit-0.1

  • Description
  • Installation
  • Example
  • Publications
  • Version

beaengine

  • Description
  • Installation
  • Example
  • Publications
  • Version

fuzzgrind

  • Description
  • Installation
  • Example
  • Publications
  • Version

shiva

  • Description
  • Installation
  • Example
  • Publications
  • Version

bincfi

  • Description
  • Installation
  • Example
  • Publications
  • Version

hampi

  • Description
  • Installation
  • Example
  • Publications
  • Version

smc

  • Description
  • Installation
  • Example
  • Publications
  • Version

Z3-str

  • Description
  • Installation
  • Example
  • Publications
  • Version

boomerang

  • Description
  • Installation
  • Example
  • Publications
  • Version

hlsl

  • Description
  • Installation
  • Example
  • Publications
  • Version

tanalysis

  • Description
  • Example
  • Publications
  • Version

arm-thumb-decompiler-plugin

  • Description
  • Installation
  • Example
  • Publications
  • Version

coq_macro_assembler

  • Description
  • Installation
  • Example
  • Publications
  • Version

jakstab

while_analyser

  • Description
  • Installation
  • Example
  • Publications
  • Version

asbint

  • Description
  • Installation
  • Example
  • Publications
  • Version

dig

  • Description
  • Installation
  • Example
  • Publications
  • Version

lego-1.3.1

  • Description
  • Installation
  • Example
  • Publications
  • Version

xgil

  • Description
  • Installation
  • Example
  • Publications
  • Version

avalanche

  • Description
  • Installation
  • Example
  • Publications
  • Version

distorm

  • Description
  • Installation
  • Example
  • Publications
  • Version

metasm

  • Description
  • Installation
  • Example
  • Publications
  • Version

RXXR: Regular expression denial of service (REDoS) static analysis

Something went wrong with that request. Please try again.