 Press Release Distribution |
 |
Filter News Show All ResultsNews By Country
News By Tag Grammatech  Related Tags Codesonar
Darpa Esc Homeland Security Mac Os X Mitre Corporation Nasa Patteson Safety-critical Software Source-code Analysis Tools Static-analysis Static-analysis Tool Static-analysis Tools Zarins
| grammatech News+ XML/RSSBy Barbara Stewart *Sophisticated New Analysis Identifies Concurrency Defects *Code-Level Metrics Provide Testing Guidance By Barbara Stewart DARPA-sponsored technology improves system reliability by identifying race conditions and other program-crashing concurrency defects By Barbara Stewart GrammaTech, Inc., a leading manufacturer of source-code-analysis tools, announced today that Pertech Embedded Solutions is now offering products, installation, integration and support services for GrammaTech solutions in Israel. By GrammaTech Company selected for its state-of-the-art anti-tamper technology By GrammaTech, Inc. CodeSonar analyzing code up to 5 times faster By Beverly Wykoff CodeSonar 3.1 Enterprise now supports both the desktop and server versions of Mac OS X. By Patterson & Associates To Develop Static-Analysis Technology for Examining Multi-Core Systems By Patterson & Associates CWE, developed by the MITRE Corporation under the sponsorship of the National Cyber Security Division of the Department of Homeland Security, provides a standard language for describing software security weaknesses. By GrammaTech The new NASA-funded technology will advance the state-of-the-art in static-analysis testing of high-assurance software and help NASA increase software reliability. | ||||||||||||||||||||||
Like PRLog?
2.8K1.1K1.1K