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.
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).
StaDy depends on the PathCrawler plug-in.