GrammaTech introduces latest version of CodeSonar tool to detect defects in software application code
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.
For more information contact GrammaTech online at www.grammatech.com.