Artifacts of the ISSTA-2024 Submission——DroidTEC

This release includes the experimental results that are used for the ISSTA artifact analysis. All the results are described in our paper. All required artifacts are attached to this release.

The source code is made publicly available on the github: page: https://anonymous.4open.science/r/TypeStateMisuseDetectorUsers can easily access and execute our tool following the steps in the Setup part.

In addition, all of our experimental results are publicly available on this page. For simplicity, we provide the following instructions for our artifacts:

Experimental_Setup.txt : Experimental Setup, including 10,000 Android apps

RQ1_Rules.zip: TypeState API rules.

RQ2_typestate_API_usage.zip : The prevalence of typestate APIs in Android applications.

RQ4_Typestate_Misuses.zip : Identified typestate misuses in real-world applications.

RQ5_CrySL_Results.zip : Execution results of CrySL on 10,000 Android apps.

RQ5_AsyncChecker_Results.zip : Execution results of AsyncChecker on 10,000 Android apps.

RQ5_VALA_Results.zip : Execution results of VALA on 10,000 Android apps.

RQ5_CiD_Results.zip : Execution results of CiD on 10,000 Android apps.

RQ5_BenchMark_Apps.zip : Execution results of VALA on 10,000 Android apps.