feliam
Results
9
repositories owned by
feliam
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