CodeSonar 4.0 Analysis Tool Enhances Security, Third-Party-Code Binary Testing

April 3, 2014
Revisions to GrammaTech’s CodeSonar software analysis tool for C/C++, Java, and machine code are designed to further improve code quality and security while accelerating time-to-market.

Revisions to GrammaTech’s CodeSonar software analysis tool for C/C++, Java, and machine code are designed to further improve code quality and security while accelerating time-to-market. Designed for zero-tolerance embedded defect environment, CodeSonar analyzes binary code and source code to identify security and quality liabilities that cause system crashes, memory corruption, leaks, data races, and other vulnerabilities. The latest version 4.0 includes new integrated binary analysis to analyze externally produced software without access to its source code. Software Supply Chain Risk Management (SCRM) eliminates dangerous quality and security blindspots created via open-source or third-party components/libraries. In terms of standards compliance, there’s built-in analysis for MISRA C 2012, in addition to existing DO-178 capabilities. To improve multi-core development, new Java-specific concurrency defect-detection capabilities defend against errors such as race conditions, deadlocks, and livelocks. Embedded security gets a boost from a visual tainted-data analysis capability. It helps developers find and eliminate vulnerabilities caused by potentially dangerous information flows.

GRAMMATECH

Sponsored Recommendations

Board-Mount DC/DC Converters in Medical Applications

March 27, 2024
AC/DC or board-mount DC/DC converters provide power for medical devices. This article explains why isolation might be needed and which safety standards apply.

Use Rugged Multiband Antennas to Solve the Mobile Connectivity Challenge

March 27, 2024
Selecting and using antennas for mobile applications requires attention to electrical, mechanical, and environmental characteristics: TE modules can help.

Out-of-the-box Cellular and Wi-Fi connectivity with AWS IoT ExpressLink

March 27, 2024
This demo shows how to enroll LTE-M and Wi-Fi evaluation boards with AWS IoT Core, set up a Connected Health Solution as well as AWS AT commands and AWS IoT ExpressLink security...

How to Quickly Leverage Bluetooth AoA and AoD for Indoor Logistics Tracking

March 27, 2024
Real-time asset tracking is an important aspect of Industry 4.0. Various technologies are available for deploying Real-Time Location.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!