Background

Recent achievements of the STAR team comprise:

• ReWeb, a tool for the reverse engineering and analysis of Web sites and applications, and TestWeb, a tool for their testing.
• A C++ code analysis framework, including two applications exploiting it: RevEng, aimed at reverse engineering the class diagram, and RuleChecker, focused on the automatic verification of coding conventions.
• A tool for the restructuring of program identifiers names.
• CANTO, an integrated environment for the analysis of procedural code.