GrammaTech
Articles related to GrammaTech
Comms
Code analysis tool zooms like Google Earth when analyzing millions of lines of code - Other
March 30, 2012
SAN JOSE, Calif. Engineers at GrammaTech announced a new tool this week that actually makes code analysis fun. Seriously, their new tool -- which works with their CodeSonar static analysis tool ? functions much like Google Earth, but instead of zooming in on your neighbor?s house you?re zooming down to view individual lines of code in systems that contain as much as 20 million lines of code. They released it this week at the Design West conference in San Jose, Calif.
Avionics
Symbolic execution techniques identify vulnerabilities in safety-critical code - Story
March 07, 2012
Multicore processors are becoming increasingly popular in safety-critical applications because they offer significant price and performance improvements. However, writing multithreaded applications for multicore hardware is notoriously difficult and could result in catastrophic failures. The following describes symbolic execution techniques for identifying issues including data races ? one of the most common concurrency defects ? and how static analysis can help developers find and eliminate them.
Comms
Static analysis advances from one core to - more - Product
June 22, 2011
Not just a popular engineering trade-show lunchtime topic, multicore processors such as the recently released Intel Core i7 Gen 2 really are proving themselves a revolutionary force in speeding up defense and other embedded applications.
Cyber
Domain-specific property checking with advanced static analysis - Story
February 17, 2011
Advanced static analysis tools are well known for being good at finding generic defects in programs. They can also be extended by end users to find domain-specific errors unique to a particular application, thanks to customized property checkers.
