1 Detecting Domain-specific Coding Errors with Static Analysis

Advanced static-analysis tools for finding programming errors have become very popular recently. These detect many common generic programming errors such as null pointer dereferences, buffer overruns, and race conditions. Most major static-analysis tools also provide an interface that can be used to find domain-specific errors. This paper describes how custom domain-specific checkers can be used to improve software quality in complex embedded systems. 1