Interview with Dr. Guillaume Brat, lead for Robust Software Engineering at NASA’s Ames Research Center in California’s Silicon Valley
The latest version of GrammaTech CodeSonar, Version 5.4, continues our commitment to being the go-to provider for static application security testing (SAST) and the static analysis tool of choice for improving software safety, security and quality. This release has several new features as well as compatibility updates, and other improvements.
The latest version of GrammaTech CodeSonar, Version 5.3, continues our commitment to being the go-to provider for static application security testing (SAST) and the static analysis tool of choice for improving software safety, security and quality. This release has several new features as well as compatibility updates, and other improvements.
The static analysis interchange format (SARIF) is now an approved OASIS standard. We have discussed in other posts the benefits of having a standardized format for static analysis. First and foremost, among those benefits is the ability for tools from different vendors to exchange information without relying on various proprietary formats and custom software to…
October 4, 2016 – Ithaca, NY – GrammaTech, a leading developer of commercial software-assurance tools and advanced cyber-security solutions, today announced that it has been selected as a prime contractor on the Department of Homeland Security’s Static Tool Analysis Modernization Project (STAMP). The goal of GrammaTech’s potentially $8M contract is to significantly advance the software ecosystem…
A LOT of code has been written – enough for LOT to deserve caps. By DARPA’s estimate, it is in the order of hundreds of billions of lines of open-source code, and I am probably safe in conjecturing that there is a LOT more proprietary code. And just like how history repeats itself, software repeats…
It is just so cool to use new stuff. Knowing that you are on the cutting edge of technology is one of the most important drives for those of us who do research, and a strong attractor for tech junkies of all sorts. Plus, no one wants to spend months working on a new project…
On December 31, 2008, thousands of Microsoft Zune MP3 players around the world stopped working due to a software bug. The fallout made headlines on sites like CNN.com (“Leap-year glitch freezes Zune MP3 players”) and PC World (“Microsoft Says Leap Year Bug Caused Zune Failures”). When applied to the code containing the bug, CodeSonar identifies…