Login / Signup

Auditing buffer overflow vulnerabilities using hybrid static-dynamic analysis.

Bindu Madhavi PadmanabhuniHee Beng Kuan Tan
Published in: IET Softw. (2016)
Keyphrases
  • dynamic analysis
  • buffer overflow
  • static analysis
  • reverse engineering
  • security problems
  • data corruption
  • model checking
  • rare events
  • case study
  • software engineering
  • source code