GrammaTech’s Paul Anderson Published in Dr. Dobb’s

Posted on


Dr. Dobb’s today published an article by GrammaTech’s Paul Anderson, titled, “Detecting Bugs in Safety-Critical Code.” An excerpt appears below, with a link to the full article.

Detecting Bugs in Safety-Critical Code

Paul Anderson, VP of Engineering, GrammaTech

When software is used for safety-critical applications, bugs aren’t just expensive annoyance – they can kill. Faced with such dire consequences, developers of safety-critical systems go to great lengths to prevent bugs from making it into the field. These measures are undeniably effective at reducing risk. Although there have been some famous catastrophic failures over the years, if medical devices or flight-control systems failed as often as most software fails, the headlines would be much grimmer.

So how do they do it, and how can those of us who do not write safety-critical code emulate their success? Well, there are many strategies, but two stand out as being key and offer important lessons for other developers – static analysis and rigorous testing.

Click here to see the full article on Dr. Dobb’s website.

About GrammaTech:
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes fourteen researchers with PhDs in programming languages and program analysis.

Book a Demo

We’re ready to help you integrate SAST and SCA security into your DevSecOps flow. Get a personally guided tour of our solution offerings to ensure you are receiving the right solution for your development team. 

book now