feliam/pysmtlib

Stars
15
Rank 1,328,946 (Top 27 %)
Language
Python
Created over 9 years ago
Updated about 9 years ago

feliam/pysmtlib

feliam

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A python layer to interface with several SMTLIBv2 enabled SMT solvers

pysymemu

An amd64 symbolic emulator

miniPDF

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

CVE-2014-4377

mkShellcode

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

CVE-2013-2729

CVE-2014-4378

PyPMF

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

CVE-2013-2730

ucrashcatcher

Mini crash catcher in pure python (no deps)

OSXImageLoader

A small C program to exercise the core OSX image parsers

ReaderSandboxExceptions

A WinAppDbg script to dump all Adobe Reader Sandbox exceptions

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.

opaf

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

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.