Safira
Safira is a change impact analyzer tool. It analyzes two versions of a program (original and modified) and yields the set of methods impacted by the change.
Safira decomposes a coarse-grained transformation into smaller transformations. For each small-grained transformation, it identifies the set of impacted methods using laws that formalize their impact. Moreover, it also identifies the methods that exercise an impacted method directly or indirectly.
Running Safira through command line
Run Safira by executing the following command:
java -jar safira.jar [-s original_program_path] [-t modified_program_path] [-b binpath]
Command-line options
-b *String*. Binary path of the project . Example: -b bin/main/java
Download Safira here.
Publications:
Melina Mongiovi. Safira: A Tool to Evaluating Behavior Preservation. In Proceedings of the ACM Conference Companion on Object Oriented Programming, Systems Languages, and Applications Companion (OOPSLA), 2011, Portland, EUA. p. 213-214
Contact: Melina Mongiovi (melmongiovi@gmail.com)