Login / Signup

Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT.

Paul MunteanVasantha KommanapalliAndreas IbingClaudia Eckert
Published in: SAFECOMP (2015)
Keyphrases
  • symbolic execution
  • buffer overflow
  • test generation
  • test data generation
  • static analysis
  • specification language
  • security problems
  • source code
  • data corruption