Pinned Repositories
CVE-2013-2729
CVE-2013-2730
CVE-2014-4377
CVE-2014-4378
klee-taint
KLEE-TAINT - Klee with taint analysis support
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.
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
feliam's Repositories
feliam/pysymemu
An amd64 symbolic emulator
feliam/CVE-2014-4377
feliam/klee-taint
KLEE-TAINT - Klee with taint analysis support
feliam/miniPDF
A python library for making PDF files in a very low level way.
feliam/mkShellcode
This rearranges an ELF object file so it can be used as shellcode.
feliam/CVE-2013-2729
feliam/CVE-2014-4378
feliam/PyPMF
A small python module to manipulate Windows Internals Process Monitor PMF Filter files
feliam/pysmtlib
A python layer to interface with several SMTLIBv2 enabled SMT solvers
feliam/CVE-2013-2730
feliam/OSXImageLoader
A small C program to exercise the core OSX image parsers
feliam/ucrashcatcher
Mini crash catcher in pure python (no deps)
feliam/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.
feliam/ReaderSandboxExceptions
A WinAppDbg script to dump all Adobe Reader Sandbox exceptions
feliam/opaf
Automatically exported from code.google.com/p/opaf
feliam/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.
feliam/capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)
feliam/cpython
The Python programming language
feliam/CVE-2014-4377-Fix
CydiaSubstrate-based fix for CVE-2014-4377.
feliam/dynamic-application-loader-host-interface
feliam/emscripten
Emscripten: An LLVM-to-JavaScript Compiler
feliam/evm-analyzer-benchmark-suite
A benchmark suite for evaluating the precision of EVM code analysis tools.
feliam/fastrand
A simple and fast random number generator
feliam/learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
feliam/manticore
Symbolic execution tool
feliam/pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
feliam/python3statement.github.io
feliam/solidity
The Solidity Contract-Oriented Programming Language
feliam/tests
Common tests for all Ethereum implementations
feliam/unicorn
Unicorn CPU emulator engine