feliam Goto Github PK

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)

cpython

The Python programming language

cve-2013-2729

cve-2013-2730

cve-2014-4377

cve-2014-4377-fix

CydiaSubstrate-based fix for CVE-2014-4377.

cve-2014-4378

cve-2014-4481

Apple CoreGraphics framework fails to validate the input when parsing CCITT group 3 encoded data resulting in a heap overflow condition. A small heap memory allocation can be overflowed with controlled data from the input resulting in arbitrary code execution in the context of Mobile Safari.

dynamic-application-loader-host-interface

emscripten

Emscripten: An LLVM-to-JavaScript Compiler

evm-analyzer-benchmark-suite

A benchmark suite for evaluating the precision of EVM code analysis tools.

fastrand

A simple and fast random number generator

klee-taint

KLEE-TAINT - Klee with taint analysis support

learn-evm-attacks

Learn & Contribute on previously exploited vulnerabilities across several EVM projects.

manticore

Symbolic execution tool

minipdf

A python library for making PDF files in a very low level way.

mkshellcode

This rearranges an ELF object file so it can be used as shellcode.

opaf

Automatically exported from code.google.com/p/opaf

osximageloader

A small C program to exercise the core OSX image parsers

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler

pypmf

A small python module to manipulate Windows Internals Process Monitor PMF Filter files

pysmtlib

A python layer to interface with several SMTLIBv2 enabled SMT solvers

pysymemu

An amd64 symbolic emulator

python3statement.github.io

rcfast

This is supposed to be used after a crash is found via a trivial bitflipping fuzzing session. This expects a normal not crashing control file and a mutated same sized crashing file. It will try to reduce the mutations on the crashing file checking that the resultant file still crashes on the configured application.

readersandboxexceptions

A WinAppDbg script to dump all Adobe Reader Sandbox exceptions

solidity

The Solidity Contract-Oriented Programming Language

tests

Common tests for all Ethereum implementations

ucrashcatcher

Mini crash catcher in pure python (no deps)

unicorn

Unicorn CPU emulator engine