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 White Paper
A Four-Step Guide to Security Assurance for IoT Devices
A Four-Step Guide to Security Assurance for IoT Devices

How do device software processes evolve to better protect next-generation IoT devices? Next-generation sof...

Next Article
The power of intelligence at the edge

To support the exponential growth in data collection, IoT networks of the future must adopt a decentralized...

How to Develop Cross-Industry IoT Interoperability

Multi-Part Series

Ready to download this white paper?

First Name
Last Name
Job Title
Phone Number
Your download is ready!
Error - something went wrong!