StaDy

Overview

StaDy is dedicated to confirm that an alarm generated by Eva or an annotation marked as Unknown by WP is indeed a real issue. This is done by trying to have PathCrawler generate a test case that will invalidate the corresponding annotation.

Usage

StaDy is available as a separate open-source plug-in. However, it relies on the Pathcrawler plug-in, which itself is not publicly available.

Once installed, it will be activated by the -stady option. Annotations that are found to be violated by some test input will be marked as invalid (i.e. appear with a red bullet on the GUI).

Dependencies

StaDy depends on the PathCrawler plug-in.