Welcome Guest

Detecting Domain-Specific Coding Errors with Static Analysis

Authored on: Dec 10, 2015

Technical Paper

0
More InfoLess Info

An often under-appreciated aspect of advanced static analysis tools is that they are extensible. They can be configured or programmed to find violations of domain-specific rules, in addition to programming defects such as buffer overruns or closing the same file descriptor twice. Programmers can, with fairly little programming effort, dramatically increase the value they get from static analysis. This paper describes how custom domain-specific checkers can be used to improve software quality in complex embedded systems using GrammaTech's CodeSonar.


View
 
Please Login

You will be redirected to the login page

×
Please Login

You will be redirected to the login page

×
Please Login

You will be redirected to the login page