BibTeX
@MISC{_8validationof,
author = {},
title = {8Validation of Static Program Analysis Tools by},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The validation of static program analysis tools is an extremely hard and time consuming process since those tools process source code of computer programs that are usually extremely large and complex. In this paper we argue that static program analysis tools can be validated by self-application, i.e. by applying a source code analysis tool to its own source code. Namely, developers of a complex source code analysis tool are familiar with its source code and consequently in position to more quickly examine whether obtained results are correct. The idea is demonstrated by the application of SNEIPL, a language-independent extractor of dependencies between source code entities, to itself.
