GrammaTech Inc. is a leading developer of software-assurance tools and advanced cyber-security solutions. Our vision is to advance software analysis research and technologies to automate the scanning, detection and remediation of defective software, eliminating safety, security and reliability issues.
GrammaTech is a trusted commercial partner, helping organizations develop and release software applications on-time, on-budget, and free of harmful defects that impact corporate reputation and profits. GrammaTech employs its software research group to solve the most challenging cyber security threats by employing a combination of software analysis, binary transformation and autonomic computing techniques for application hardening; and using its static analysis products - CodeSonar and CodeSurfer - for deep software analysis and visualization for both source and machine code. CodeSonar® finds malware enablers, hard to find multicore issues, coding errors and more....resulting in finding 2X more bugs than other static analysis tools.
There are no discussions here currently, but as they appear they might have answers you need.