×

Ready to download this white paper?

First Name
Last Name
Job Title
Company
Phone Number
Address
Country
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 ...