×

Ready to download this white paper?

First Name
Last Name
Job Title
Company
Phone Number
Address
Country
You may receive a request for your feedback from OpenSystems Media. Read our new Privacy Policy to understand what data we collect, why we collect it, and what we do with it.
Europe OptIn
Your download is ready!
Error - something went wrong!
   

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 White Paper
Mission ready systems delivering on the promise of COTS
Mission ready systems delivering on the promise of COTS

The Lightning platform is a revolutionary response to a problem that has thus far proven to be intractable ...