Detecting Domain-Specific Coding Errors with Static Analysis

October 20, 2017

The latest generation of static-analysis tools use highly sophisticated whole-program analyses to find deep semantic problems. These advanced static-analysis tools have become essential for software developers because they have proven effective at finding serious flaws. An often under-appreciated aspect of these tools is that they are extensible. Programmers can, often with a little programming effort, dramatically increase the value they get from the tools. This paper describes some of the ways in which static-analysis tools can be extended.

Previous Article
Leti Coordinating European Project to Improve Drivetrains for Electric Vehicles to Boost Performance and Cut Costs

Leti, a research institute of CEA Tech, today announced a new European Horizon 2020 project to develop inno...

Next Article
Advanced Automotive Processors with Built-In Security Set to Protect Connected Cars against Cyber Threats

 New processors combine STMicroelectronic's automotive and security expertise to meet demanding safety, re...