Ithaca, NY — GrammaTech announced today that it has released a new version of a next-generation maintenance, understanding, inspection, and analysis tool, CodeSurfer® 1.7.
CodeSurfer® is useful for software understanding, inspection, restructuring, maintenance, debugging, testing, feature extraction, impact analysis, specialization, reuse, anomaly detection, and security and safety assurance tasks.
CodeSurfer’s powerful program-analysis techniques precompute program properties allowing you to quickly and precisely analyze and understand ANSI C source code. CodeSurfer is the first commercial tool to provide precise interprocedural program slicing and pointer analysis. CodeSurfer automatically generates hyperlinks in your project so that navigating the dependences in your code is as easy as surfing the web.
CodeSurfer’s interprocedural program slicing is a technique that reveals the deep structure within source code. A forward slice from any point of interest shows all the code that is impacted by that point of interest. A backward slice shows all the code that impacts the point of interest.
CodeSurfer can help you understand the far-reaching effects of statements in your program, which are not otherwise easily discovered. CodeSurfer performs pointer analysis so it knows which pointers point to which variables and procedures. CodeSurfer provides advanced searching capabilities that take into account control flow, data flow, and program structure to deliver precise query results.
Major New Features in CodeSurfer® 1.7
This version introduces the ability to print the contents of viewers on all platforms. On Unix and Linux, a PostScript-capable printer is required.
CodeSurfer 1.7 also provides enhanced scalability and build performance. The computation of summary edges is now optional. The computation of the control dependence relation now uses basic blocks. These changes mean that much larger projects can be built than was previously possible.
Other improvements include logging improvements, and support for building projects in the Microsoft Visual Studio .NET environment.
Packaging and Platforms
CodeSurfer is available in two different packages: the CodeSurfer Programmable Package (starting at $3,995), and the CodeSurfer Entry Package (starting at $795). CodeSurfer runs under Windows and Linux.
GrammaTech now offers live on-line CodeSurfer demonstrations via WebEx. Please contact GrammaTech’s Sales Department at firstname.lastname@example.org to schedule your CodeSurfer demo.
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes fourteen researchers with PhDs in programming languages and program analysis.