Detecting Buffer Overflows Using Adaptive Test Case Generation

Buffer overflows cause serious problems in different ways of software systems. This paper proposes to combine static analysis and dynamic testing to detect buffer overflows in software. Using information provided by static analysis in further test case generation creates a feedback loop that enables a focused exploration of the input space and faster buffer overflow detection. Empirical results show that the adaptive test case generation approach improves on the results of dynamic testing with random test cases.