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
How do device software processes evolve to better protect next-generation IoT devices? Next-generation sof...
How to Develop Cross-Industry IoT InteroperabilityMulti-Part Series
Your download is ready!
Error - something went wrong!
We also recommend:
Kudelski Group Works With STMicroelectronics to Bring End-to-End IoT Security to Consumer and Industrial IoT Customers
The companies have collaborated to make the Kudelski IoT Security Platform's Secure Client with Root of Trust available on the STM32 family of microcontrollers.
Cepton and ThinkReps Partner in the Physical Security, Smart Cities and IoT Industries
ThinkReps to represent Cepton’s Smart Lidar solutions in the New York metropolitan area
Zigbee Certified Products Surpass 3,000
Zigbee Alliance’s global membership continues to expand an open and interoperable IoT.
MultiTech MultiConnect® microCell USB Cellular Modem Now Approved for Use on the Verizon Network
Popular LTE Category 1 USB Cellular Modem Now Offers Even Broader Network Compatibility.
InfiSense Partners with Senet for LoRaWAN™ Network Connectivity
InfiSense Expands its IoT Platform Stack and Prepares for Rapid Expansion by Integrating Senet’s Network-as-a-Service Capabilities.
Silicon Labs, Allegion Collaborate to Expand IoT Capabilities for Residential, Commercial Security Devices
Security Solution Leader Embraces New Wireless Connectivity for Customers.
WIN Enterprises Announces Fanless Embedded Computer with 6th/7th Generation Intel Core and 6x USB for IoT Data & Video Storage
WIN Enterprises, Inc., a leading designer and manufacturer of custom solutions for OEMs, announces the PL-50010.
Newark Expands Portfolio of Switches and Relays to Advance Product Designs
Same-day shipping is available for tens of thousands of switch and relay products.
Parks Associates and BUILDER Conduct Study on Smart Home Market
Twenty-one percent of MDU broadband households own at least one smart home device.
Renesas Electronics Releases RX65N Wi-Fi Connectivity Cloud Kit for IoT Endpoint Device Connections to AWS
Qualified Kit’s 32-Bit RX65N MCU with Amazon FreeRTOS, Wi-Fi, and sensors quickly connects to AWS cloud.
Our Crowded Spectrum, and the End of Thin Client
The cloud and IoT are making the final migration from a “Thin Client” approach to one of networked smart systems that do their own onsite processing, reducing the burden on network traffic.
USB Type-C: The “Universal” Connector (Yeah Right…)
There’s a lot of noise about how USB Type-C is going to be the universal connector. I found myself buying into the excitement. At least until I bought a new MacBook Pro...
Enterprise Containers and the IoT – Foundations for Embedded Developers
In this episode of Embedded Insiders, we discuss a technology that’s rapidly gaining popularity in the embedded and IoT technology sector – Containers.
Executive Viewpoint: Wind River’s Take on Security
Embedded Computing Design (ECD) recently sat down with Wind River’s Chief Security Architect Arlen Baker to discuss the latest trends in security.
HCC Embedded Joins Forces with Adesto to Support Adesto’s FusionHD NVMs
HCC file system products enable significant performance, cost, reliability, and battery life improvements when using Adesto’s latest serial flash products.
Winmate Releases High Performance P-Cap Open Frame Panel PC
Incredible system expandability for versatile smart retail scenarios.
LoRaWAN® distance world record broken. 766 km (476 miles) using 25mW transmission power
New world record of the longest distance between the sender and receiver, using LoRaWAN technology.
Teltonika cooperates with NanoLock Security for Powerful Router Cyber Defense
NanoLock's ironclad protection secures Teltonika's RUT955 router from persistent cyber-attacks such as malware and ransom attacks.
Eta Compute Appoints Dr. Ted Tewksbury Chief Executive Officer
New CEO at Eta Compute.
Skyworks Enables Emerging Bluetooth® Platforms