feliam

Results 9 repositories owned by feliam

CVE-2014-4377

71
Stars
27
Forks
Watchers

miniPDF

72
Stars
16
Forks
Watchers

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

pysymemu

308
Stars
56
Forks
Watchers

An amd64 symbolic emulator

CVE-2013-2729

23
Stars
21
Forks
Watchers

CVE-2014-4378

17
Stars
8
Forks
Watchers

klee-taint

71
Stars
13
Forks
Watchers

KLEE-TAINT - Klee with taint analysis support

mkShellcode

42
Stars
16
Forks
Watchers

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

PyPMF

15
Stars
6
Forks
Watchers

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

pysmtlib

16
Stars
6
Forks
Watchers

A python layer to interface with several SMTLIBv2 enabled SMT solvers