implementations

by REMath

Implementations of program analysis tools with a focus on machine code

197 Stars 28 Forks Last release: Not found 239 Commits 0 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:

"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

  • https://github.com/REMath/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

coqmacroassembler

  • Description
  • Installation
  • Example
  • Publications
  • Version

jakstab

  • Description
  • Installation
  • Example
  • Publications http://www.cs.rhul.ac.uk/home/kinder/papers/phdthesis.pdf
  • Version 2014-03-18
  • Download Location http://www.cs.rhul.ac.uk/home/kinder/papers/phdthesis.pdf

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

  • Description
  • Installation
  • Example
  • Publications - http://arxiv.org/pdf/1301.0849v1.pdf
  • Version

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.