Figure: The CodeSurfer®
Programmable Package includes development tools to help users
develop scripts. Pictured above is the Control-Flow Graph
browser.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc.
CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.