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...

• Type: Conference
• Year: 2004
• Where: APLAS
• Authors: Tobias Lindahl, Konstantinos F. Sagonas
• Keywords: APLAS 2004, Compile-time Software Checkers, Software, Software Defects