Sciweavers

Share
APLAS
2004
ACM

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

8 years 9 months ago
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
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 commercial telecom applications written in Erlang. Our tool, starting from virtual machine bytecode, discovers, tracks, and propagates type information which is often implicit in Erlang programs, and reports warnings when a variety of type errors and other software discrepancies are identified. Since the analysis currently starts from bytecode, it is completely automatic and does not rely on any user annotations. Moreover, it is effective in identifying software defects even in cases where source cod...
Tobias Lindahl, Konstantinos F. Sagonas
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where APLAS
Authors Tobias Lindahl, Konstantinos F. Sagonas
Comments (0)
books