Products

Products for C/C++

CodeSonar™
A source-code analyzer that finds buffer overruns, null-pointer dereferences, and other errors.

CodeSurfer®
A code browser that understands pointers, indirect function calls, and whole-program effects.

Products for ADA

Ada-ASSURED™
A language-sensitive editor, browser, standards enforcement tool, pretty printer, and code analyzer/transformer for Ada 83 and Ada 95.

Ada-Utilities™
A language-sensitive toolset for project-wide prettyprinting and standards auditing of Ada code.