Need help with implementations?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

REMath
199 Stars 29 Forks 239 Commits 1 Opened issues

Description

Implementations of program analysis tools with a focus on machine code

Services available

!
?

Need anything else?

Contributors list

# 320,020
program...
Shell
OCaml
Common ...
165 commits
# 460,817
OCaml
TeX
Shell
7 commits
# 298,797
Shell
gradle-...
Kotlin
OCaml
1 commit

"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.