Using Program Transformation to Secure C Programs Against Buffer Overflows.
Christopher DahnSpiros MancoridisPublished in: WCRE (2003)
Keyphrases
- computer programs
- buffer overflow
- program execution
- control program
- recursive programs
- automatic programming
- transformation rules
- programming environment
- high level programming language
- prolog programs
- computer chess
- symbolic execution
- programming environments
- java programs
- program slicing
- imperative programs
- application programs
- programming education
- control flow
- undergraduate engineering
- functional programs
- source code
- programming language
- programs written
- fault localization
- encryption scheme
- security requirements
- security issues
- high level programming