A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
[chapter]
2004
Lecture Notes in Computer Science
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through automatic tools such as program analyzers and compile-time software checkers. To this effect, this paper describes the architecture and implementation of a software tool that uses lightweight static analysis to detect discrepancies (i.e., software defects such as exception-raising code or hidden failures) in large
doi:10.1007/978-3-540-30477-7_7
fatcat:4in5ymfrsjdjrpzbw3yfbgdete