MACKE: compositional analysis of low-level vulnerabilities with symbolic execution.

Saahil Ognawala Martín Ochoa Alexander Pretschner Tobias Limmer

Published in: ASE (2016)

Keyphrases

low level
high level
particle swarm optimization
orders of magnitude
symbolic execution
relational databases
genetic programming