Verification of C Buffer Overflows in C Programs.

Andreea Bican Razvan Deaconescu Wei-Ngan Chin Quang-Trung Ta

Published in: RoEduNet (2018)

Keyphrases

buffer overflow
hardware designs
symbolic execution
model checking
computer programs
verification method
data sets
face verification
motion estimation
object oriented
programming environment
signature verification
buffer size