Jonathan Salwan
4
Followers
Tags
symbolic execution
reverse engineering
obfuscated code
triton
concolic execution
binary instrumentation
program analysis
software verification
binary analysis
llvm
pin
dba
dbi
symbolic execution concolic execution
rop tools
return oriented programming
rop
rop chain generation
software
testing
execution
concolic
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken