GrammaTalk

GrammaTech Releases CodeSurfer® 1.6 for C

Posted on

by

Ithaca, NY — GrammaTech announced today that it has released a new version of a next-generation maintenance, understanding, inspection, and analysis tool, CodeSurfer® 1.6, that fully supports the Linux operating system for the first time. The new version also introduces some major improvements to navigation, especially for types and macros.

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.6:

This version introduces the ability to inspect type information. A variable’s type is now shown in the property sheet for that variable. You can also easily surf directly to the type definition to better understand your data types.

CodeSurfer allows you to surf to macro definitions from their use in the code. Unlike most tools CodeSurfer builds with a given set of preprocessor symbols so that you surf to the correct definition, even though the macro may be defined several different ways in your code. CodeSurfer can also provide the fully expanded macro.

New functionality has been added to allow the user to easily do queries on the points-to-set of actual parameters of functions.

CodeSurfer 1.6 also provides enhanced scalability and build performance.

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.

Limited Offer:

Until February 28, 2002, GrammaTech is offering the CodeSurfer Node-Locked Entry Package for $495. A savings of $300.

 

On-Line Demonstrations:

GrammaTech now offers live on-line CodeSurfer demonstrations via WebEx. Please contact GrammaTech’s Sales Department at sales@grammatech.com to schedule your CodeSurfer demo.

About GrammaTech:
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.

Related Posts

Check out all of GrammaTech’s resources and stay informed.

view all posts

Contact Us

Get a personally guided tour of our solution offerings. 

Contact US