The Artifacts for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools.

This is the artifact for the ICSE 2025 paper, An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools. A pre-print of the original paper referencing this artifact can be found here: https://annabellam.github.io/docs/An_Extensive_Empirica_Study_of_Nondeterministic_Behavior_in_Static_A nalysis_Tools_-_Preprint.pdf. This artifact contains the code and data for the paper. The code contains the source code of the nondeterminism detection framework used in RQ2 as well as the instructions on how to run the framework to replicate the results reported in the paper. The data contains files that support the conclusions made in the two research questions (RQ1 and RQ2).