• » Corporate Research
• » Sponsored Research
• » Papers

Software Understanding and Reengineering

Building on more than a decade of DARPA, NSF, and ONR-supported research at the University of Wisconsin by Tom Reps and Susan Horwitz, GrammaTech is developing a toolkit of reusable, commercial-quality, multi-lingual components for building and operating on the dependence-graph representation of programs and program specifications. This representation, augmented with abstract-syntax trees and symbol talbes, will form the backbone of next-generation CASE tools for software design, development, understanding, and reengineering.

Related Products:

• CodeSurfer - GrammaTech's Software development, inspection, and maintenance tool for program understanding and information assurance.

Papers:

• "Dependence Graphs and Program Slicing"
  • HTML Format
  • Microsoft Word Format
  • Adobe Acrobat Format (PDF)

Presentations:

• "Static Analysis via Dependence Graphs"
  • HTML Format

Related Links:

• Wisconsin Slicing Project - DARPA, NSF, and ONR-supported research at the University of Wisconsin, by Tom Reps and Susan Horwitz, that serves as a foundation for this work.

Related Sponsored Research:

• Dependence Graphs for Information Assurance of Systems
  
• Multi-Lingual Dependence-Graph Components for Software and Hardware Analysis, Design, and Specialization
• Dependence Graphs for Dynamic Internet Technologies
• Verification of Hierarchical Graph Structures
  
• Detecting Malicious Code in Firmware
• A Framework for Aspect-Oriented Programming of Embedded Systems
• User Interfaces For Rule Based Formal Methods Environments