Tags
symbolic execution
reverse engineering
obfuscated code
triton
concolic execution
binary instrumentation
program analysis
software verification
binary analysis
concolic
execution
testing
software
rop chain generation
rop
return oriented programming
rop tools
symbolic execution concolic execution
dbi
dba
pin
llvm
See more
Presentations
(7)Tags
symbolic execution
reverse engineering
obfuscated code
triton
concolic execution
binary instrumentation
program analysis
software verification
binary analysis
concolic
execution
testing
software
rop chain generation
rop
return oriented programming
rop tools
symbolic execution concolic execution
dbi
dba
pin
llvm
See more