VITA Technologies
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX
  • Articles
  • White Papers
  • Products
  • News
  • Articles
  • White Papers
  • Products
  • News
  News  Industry News  GrammaTech Announces Static Analysis for Multi-core and Multi-threaded Applications
Industry News

GrammaTech Announces Static Analysis for Multi-core and Multi-threaded Applications

GrammaTech, Inc.GrammaTech, Inc.—May 6, 20110
FacebookX TwitterPinterestLinkedInTumblrRedditVKWhatsAppEmail


CodeSonar creates an abstract model of the program, capturing its syntax, call graphs, and control-flow graphs

CodeSonar creates an abstract model of the program, capturing its syntax, call graphs, and control-flow graphs

GrammaTech, Inc., a leading manufacturer of source-code analysis tools, today announced that it has developed a sophisticated new program-analysis engine that identifies data race conditions and other serious concurrency defects. The engine is being incorporated into the company’s popular CodeSonar static-analysis tool.

Development teams are embracing multi-core processors such as the new quad-core Intel® Core™ i7 processor because they are the most promising avenue to better computing performance. This is because traditional performance-improvement approaches, such as increasing clock speed, decreasing memory access times, and clever scheduling of instructions are no longer yielding major improvements. Unfortunately, multi-core systems are much less forgiving of programming errors and can be extremely difficult to debug with currently available tools, especially when bugs are intermittent and difficult to reproduce.

The severity of the problem caught the attention of the Defense Advanced Research Projects Agency (DARPA), which awarded a $749k contract to GrammaTech to develop an innovative approach to eliminating serious defects that commonly plague multi-core applications. The resulting analysis pinpoints such problems without testing, slashing development cost, and reducing the risk of defects slipping into production. The analysis can also be applied to multi-threaded applications running on a single processor.

More stories

VMETRO continues VPX momentum with addition of 3U VITA 46 FPGA Processing Engine

September 25, 2008

Curtiss-Wright Controls Announces Demonstration of OFED Stack on the Industry’s Highest Performing OpenVPX(tm) HPEC System

March 13, 2012

Themis Computer Announces a New Family of AMD Opteron processor-based Single and Dual Processor Socket VMEbus Computers

August 2, 2007

Abaco to Participate in Intel Federal Summit as Gold Sponsor

September 6, 2018

Paul Anderson, GrammaTech’s vice president of Engineering, commented, “The analysis has already proven itself in pilot deployments. For example, it identified serious defects in a mission-critical avionics application being developed by an aerospace company. This is very significant because avionics applications are developed with much more care and testing than most other applications. Yet GrammaTech’s deep concurrency analysis uncovered significant problems in the application.”

Anderson continued, “The analysis catches the type of concurrency problems that are the most difficult for developers. It creates an abstract model, of what locks are held by what threads, and considers possible interleavings. By automating this process, it finds situations in which code is susceptible to problematic interleavings, which developers can miss through manual analysis.”

The technology is compatible with a wide range of compilers, including ARM RealView, CodeWarrior, GCC, G++, Green Hills, HI-TECH, IAR, Intel C/C++, Microsoft Visual Studio, Renesas, Sun C/C++, Texas Instruments, CodeComposer, Wind River, and many others. For some run-time environments, it may be necessary to model synchronization primitives, but the system has been designed to make this easy.

About CodeSonar

CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. Like a compiler, CodeSonar does a build of code using the existing build environment. But, instead of creating object code, CodeSonar creates an abstract model of the program, capturing its syntax, call graphs, and control-flow graphs. Then a synthesis phase, analogous to linking, generates a program model, which is executed symbolically by CodeSonar’s analysis engine. Automated reasoning about feasible paths and data is used to identify tricky bugs that result from complex interactions among procedures.

CodeSonar is backed by years of research and is the most powerful source code analysis tool available for embedded development. It is distinguished by its ability to find more serious defects than any other tool on the market. For this reason, it has been adopted by leading organizations developing medical devices, spacecraft, industrial and automotive control systems, electronics and similar applications. CodeSonar runs on Windows, Linux, Solaris, and Mac OSX operating systems and supports most compilers.

About GrammaTech

GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes twelve researchers with PhDs in programming languages and program analysis. More information about GrammaTech can be found at www.grammatech.com.

FacebookX TwitterPinterestLinkedInTumblrRedditVKWhatsAppEmail
Mercury Computer Systems Selected to Deliver Multiple High-Speed Satellite Communications Subsystems
LynuxWorks and Themis Show Latest Version of Secure Separation Kernel on Rugged Secure Server Platforms
Related posts
  • Related posts
  • More from author
Consortia and Working Groups

Ratification of VITA 93 – QMC: TEWS Technologies Welcomes a New Era in Modular I/O

September 30, 20250
Articles

VITA Persona: Ovidiu Mesesan

September 29, 20250
Articles

Legacy Product Sustainment Has Improved — But It Can Get Even Better

September 29, 20250
Load more
Read also
Consortia and Working Groups

Ratification of VITA 93 – QMC: TEWS Technologies Welcomes a New Era in Modular I/O

September 30, 20250
Articles

VITA Persona: Ovidiu Mesesan

September 29, 20250
Articles

Legacy Product Sustainment Has Improved — But It Can Get Even Better

September 29, 20250
Eletter Products

SPONSORED: 3U VPX HD Switch Doubles Backplane Density

August 1, 20250
RTS rugged test and deployment system
Eletter Products

SPONSORED: Rugged Test and Deploy Systems for VPX and SOSA Aligned Payloads

July 25, 20250
Articles

The VITA Technologies 2025 Resource Guide is here!

June 19, 20250
Load more

Recent Comments

No comments to show.
  • Articles
  • White Papers
  • Products
  • News
  • Articles
  • White Papers
  • Products
  • News
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX
  • VME
  • XMC
  • FMC
  • PMC
  • VNX
  • VPX

© 2023 VITA Technologies. All rights Reserved.