Sign in

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

Saahil OgnawalaMartín OchoaAlexander PretschnerTobias Limmer
Published in: ASE (2016)
Keyphrases
  • low level
  • high level
  • particle swarm optimization
  • orders of magnitude
  • symbolic execution
  • relational databases
  • genetic programming