Program Slicing Based Buffer Overflow Detection.

Yingzhou Zhang Wei Fu Xiaofei Qian Wei Chen

Published in: J. Softw. Eng. Appl. (2010)

Keyphrases

program slicing
buffer overflow
description languages
detection algorithm
object oriented
database
formal verification