ICSE 2023 (series) / Artifact Evaluation /
[Artifact] ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis
This artifact provides ECSTATIC, our framework for automatic metamorphic testing of configurable static analysis tools.
To use ECSTATIC, a user requires (1) a version of Python at least 3.10 and less than 3.11; and (2) a working Docker installation.
