GitHub - REMath/implementations: Implementations of program analysis tools with a focus on machine code

"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

coq_macro_assembler

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

Name		Name	Last commit message	Last commit date
Latest commit History 239 Commits
BDDStab		BDDStab
BitwiseAI		BitwiseAI
CacheAudit-0.1		CacheAudit-0.1
Z3-str		Z3-str
arm-thumb-decompiler-plugin		arm-thumb-decompiler-plugin
asbint		asbint
avalanche		avalanche
beaengine		beaengine
bincfi/cfi_no_svn		bincfi/cfi_no_svn
boomerang		boomerang
constraint_logic_fuzzing		constraint_logic_fuzzing
coq_macro_assembler		coq_macro_assembler
dig		dig
distorm		distorm
fuzzgrind/fuzzgrind		fuzzgrind/fuzzgrind
hampi		hampi
hlsl		hlsl
jakstab		jakstab
lego-1.3.1		lego-1.3.1
metasm		metasm
rxxr		rxxr
rxxr2		rxxr2
shiva		shiva
smc		smc
tanalysis		tanalysis
visual_reversing		visual_reversing
while_analyser		while_analyser
xgil		xgil
README.md		README.md

REMath/implementations

Folders and files

Latest commit

History

Repository files navigation