SOFTWARE: GrammaTech introduces latest version of CodeSonar tool to detect defects in software application code

Software source-code analysis tools specialist GrammaTech Inc. in Ithaca, N.Y., is introducing the next version of the company’s CodeSonar tool for detecting defects in complex application software. The newest CodeSonar release has program-analysis algorithms that identify data races and other serious concurrency defects, as well as code-level metrics. The GrammaTech CodeSonar tool can apply concurrency analysis to multi-threaded software for single-core and multicore programs.

CodeSonar finds data races, deadlock, and process starvation by using symbolic execution techniques to reason about possible execution paths and interleavings simultaneously. The approach is the result of a research contract from the U.S. Defense Advanced Research Projects Agency (DARPA) in Arlington, Va., GrammaTech officials say. Code-level metrics is built on CodeSonar’s existing code-analysis and reporting framework, and enables project managers to track popular metrics, such as cyclomatic complexity or define metrics. Warnings can be generated automatically when metrics are outside an expected range.

FOR MORE INFORMATION contact GrammaTech online at www.grammatech.com.

More Military & Aerospace Electronics Current Issue Articles
More Military & Aerospace Electronics Archives Issue Articles


Easily post a comment below using your Linkedin, Twitter, Google or Facebook account.


The Innovation That Matters™ Quiz

Innovation is one of the key drivers in the Defense industry. View this short video of Leon Woo, VP of Engineering at Mercury Systems, on the role of innovation. Then, answer 3 simple questions correctly to be entered into a drawing to win an Eddie Bauer fleece jacket!

CONGRATULATIONS TO OUR TWO MOST RECENT WINNERS. "Nick from SPARWAR" and "Bridget from AOC."


Military & Aerospace Photos

Related Products

RR2P Removable Canister RAID System

Transportable data storage for mobile field use aboard planes, ships and ground transport. 2U, du...

API DC Link Power Film Capacitors

High reliability DC link capacitors for power inverter applications which require superior life e...

XPort9200 Conduction- or Air-Cooled 12-Channel High-Speed CAN Bus XMC or PMC

The XPort9200 is a conduction- or air-cooled 12-channel CAN bus XMC or PMC module. Each high-spee...

Related Companies

Winchester Systems Inc

At its founding in 1981, Winchester Systems introduced its first 5 MB disk system for Intel development system users....

API Technologies Corp

Who We Are API Technologies is a dominant technology provider of RF/microwave, microelectronics, and security technol...

Extreme Engineering Solutions Inc (X-ES)

 Extreme Engineering Solutions, Inc. (X-ES) is a leader in the design, manufacture, and support of standard and ...
Wire News provided by   

Most Popular Articles

Webcasts

Meeting the Gen3 backplane challenge with OpenVPX and COTS

Gen3 serial interconnects such as 40G Ethernet, QDR/FDR10 Infiniband, PCIe Gen3 offer significant performance benefits for OpenVPX Systems.  This webcast will outline OpenVPX Signal Integrity challenges...
Sponsored by:

Digital signal processing for signals intelligence and electronic warfare

Military & Aerospace Electronics presents an expert Webcast on the design considerations for blending general-purposes processors (GPUs), general-purpose graphics processors (GPGPUs), field-programmable ...
Sponsored by:

Advantages of Intel Architecture Products and Wind River Solutions in Military & Aerospace Applications

This webinar explains the individual advantages of the Intel Architecture hardware, available for long-life supply, and the WRS software portfolio.  There are extraordinary advantages of combining such ...
Sponsored by:

social activity

All Access Sponsors


Mil & Aero Magazine

February 2014
Volume 25, Issue 2
file

Download Our Apps



iPhone

iPad

Android

Follow Us On...



Newsletters

Military & Aerospace Electronics

Weekly newsletter covering technical content, breaking news and product information
SUBSCRIBE

Defense Executive

Monthly newsletter covering business news and strategic insights for executive managers
SUBSCRIBE

Embedded Computing Report

Monthly newsletter covering news on embedded computing in aerospace, defense and industrial-rugged applications
SUBSCRIBE

Unmanned Vehicles

Monthly newsletter covering news updates for designers of unmanned vehicles
SUBSCRIBE