Giters

parof / implementations

Implementations of program analysis tools with a focus on machine code

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

"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

About

Implementations of program analysis tools with a focus on machine code

Languages

Language:C 65.1%Language:C++ 19.3%Language:Java 3.5%Language:Ruby 2.9%Language:Coq 2.3%Language:OCaml 1.5%Language:Python 1.1%Language:Standard ML 0.9%Language:Perl 0.8%Language:Assembly 0.8%Language:Shell 0.5%Language:Objective-C 0.4%Language:Scala 0.3%Language:Prolog 0.2%Language:MATLAB 0.1%Language:XSLT 0.1%Language:C# 0.1%Language:GAP 0.1%Language:Haskell 0.0%Language:Pascal 0.0%Language:Max 0.0%Language:M 0.0%Language:CSS 0.0%Language:TeX 0.0%Language:Awk 0.0%Language:Verilog 0.0%Language:Erlang 0.0%Language:Fortran 0.0%Language:R 0.0%Language:TypeScript 0.0%Language:JavaScript 0.0%Language:PHP 0.0%