Artifacts of the ISSTA-2024 Submission——DroidTEC

<div> <p>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.</p> <p><br>The source code is made publicly available on the github: page:&nbsp;<a href="https://anonymous.4open.science/r/TypeStateMisuseDetector">https://anonymous.4open.science/r/TypeStateMisuseDetector</a><br>Users can easily access and execute our tool following the steps in the Setup part.</p> <p>In addition, all of our experimental results are publicly available on this page. For simplicity, we provide the following instructions for our artifacts:</p> <ol> <li><strong>Experimental_Setup.txt&nbsp;</strong>: Experimental Setup, including 10,000 Android apps</li> <li><strong>RQ1_Rules.zip:&nbsp;</strong>TypeState API rules.</li> <li><strong>RQ2_typestate_API_usage.zip</strong>&nbsp;: The prevalence of typestate APIs in Android applications.</li> <li><strong>RQ4_Typestate_Misuses.zip</strong>&nbsp;: Identified&nbsp;typestate misuses in real-world applications.</li> <li><strong>RQ5_CrySL_Results.zip</strong>&nbsp;: Execution results of CrySL on&nbsp;10,000 Android apps.</li> <li><strong>RQ5_AsyncChecker_Results.zip</strong>&nbsp;: Execution results of AsyncChecker on&nbsp;10,000 Android apps.</li> <li><strong>RQ5_VALA_Results.zip</strong>&nbsp;:&nbsp;Execution results of VALA on&nbsp;10,000 Android apps.</li> <li><strong>RQ5_CiD_Results.zip</strong>&nbsp;:&nbsp;Execution results of CiD on&nbsp;10,000 Android apps.</li> <li><strong>RQ5_BenchMark_Apps.zip</strong>&nbsp;:&nbsp;Execution results of VALA on&nbsp;10,000 Android apps.</li> </ol> <p>&nbsp;</p> </div>