Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation.

Young-Su Jang Jin-Young Choi

Published in: IEICE Trans. Inf. Syst. (2018)

Keyphrases

buffer overflow
code generation
security problems
application development
software development
modeling language
data corruption
rare events
data driven
formal specification
rapid prototyping
software reuse
database
security requirements