GrammaTech introduces latest version of CodeSonar tool to detect defects in software application code
Sept. 28, 2011
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.
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.
John Keller is editor-in-chief of Military & Aerospace Electronics magazine, which provides extensive coverage and analysis of enabling electronic and optoelectronic technologies in military, space, and commercial aviation applications. A member of the Military & Aerospace Electronics staff since the magazine's founding in 1989, Mr. Keller took over as chief editor in 1995.
Voice your opinion!
To join the conversation, and become an exclusive member of Military Aerospace, create an account today!
