/implementations

Implementations of program analysis tools with a focus on machine code

Primary LanguageC

"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