Static Analysis of ROP Code.

Daniele Cono D'Elia Emilio Coppa Andrea Salvati Camil Demetrescu

Published in: EuroSec@EuroSys (2019)

Keyphrases

static analysis
malicious code
source code
dynamic analysis
symbolic execution
java card
abstract interpretation
test generation
regular expressions
artificial intelligence
anomaly detection
test suite