rmusser01/implementations

Implementations of program analysis tools with a focus on machine code

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
• Version

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