Electronicdesign 30061 Code1 thinkstockphotoslarge 0
Electronicdesign 30061 Code1 thinkstockphotoslarge 0
Electronicdesign 30061 Code1 thinkstockphotoslarge 0
Electronicdesign 30061 Code1 thinkstockphotoslarge 0
Electronicdesign 30061 Code1 thinkstockphotoslarge 0

Static Analysis for Embedded Software

Dec. 11, 2019
Static-analysis tools can help reduce bugs and provide insight into applications. Check out different facets of taking this methodology approach.

Static analysis works on source code and tries to identify errors based on what it can tell about the program. For example, it can highlight “dead code” that will never execute. And sometimes it can identify potential race conditions.

Static Analysis? We Don’t Need No Stinkin’ Static Analysis

Why are so few using static-analysis tools when security and reliability are so important these days? Find out what Technology Editor Bill Wong thinks.

Read more

What's the Difference Between Sound and Unsound Static Analysis?

Timeliness and cost are two main factors for code verification, which separates sound from unsound. But recent advances are closing those gaps.

Read more

Shore Up Software Security via Formal Methods-Based Static Analysis

As autonomous systems, connected devices, and AI technologies continue to come online, engineering teams are finding it more difficult to rely on traditional development methods.

Read more

How Static Analysis Identifies Concurrency Defects

Code testing with modern static analysis provides a solution that not only allows developers to identify and fix concurrency defects in new code, it also provides a cost-effective and automated way to uncover such defects in software that’s being ported to run on multi-threaded processors.

Read more

Sponsored Recommendations

Understanding Thermal Challenges in EV Charging Applications

March 28, 2024
As EVs emerge as the dominant mode of transportation, factors such as battery range and quicker charging rates will play pivotal roles in the global economy.

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...

Comments

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