BOSTON, 28 Sept. 2011.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. GrammaTech made the announcement this week at the Embedded Systems Conference in Boston.The GrammaTech CodeSonar tool can apply concurrency analysis to multi-threaded software for single- and multi-core 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 even define metrics. Warnings can be generated automatically when metrics are outside an expected range.
For more information contact GrammaTech online at www.grammatech.com.