数据集概述
本数据集为ISSTA-2024会议投稿论文《DroidTEC》的实验结果 artifact，包含实验设置说明、TypeState API规则、Android应用中TypeState API使用情况、真实应用中的类型状态误用案例，以及CrySL、AsyncChecker等工具在一万个Android应用上的执行结果，可用于复现论文实验及分析Android应用的类型状态误用问题。
文件详解
- Experimental_Setup.txt
- 文件格式：TXT
- 字段映射介绍：记录实验设置信息，包含一万个Android应用的列表
- RQ1_Rules.zip
- 文件格式：ZIP
- 字段映射介绍：包含TypeState API规则相关数据
- RQ2_typestate_API_usage.zip
- 文件格式：ZIP
- 字段映射介绍：包含Android应用中TypeState API使用流行度的相关数据
- RQ4_Typestate_Misuses.zip
- 文件格式：ZIP
- 字段映射介绍：包含在真实应用中识别出的类型状态误用案例数据
- RQ5_CrySL_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含CrySL工具在一万个Android应用上的执行结果数据
- RQ5_AsyncChecker_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含AsyncChecker工具在一万个Android应用上的执行结果数据
- RQ5_VALA_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含VALA工具在一万个Android应用上的执行结果数据
- RQ5_CiD_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含CiD工具在一万个Android应用上的执行结果数据
- RQ5_BenchMark_Apps.zip
- 文件格式：ZIP
- 字段映射介绍：包含VALA工具在一万个Android应用上的执行结果数据（注：原文描述可能存在重复，以实际文件内容为准）
数据来源
ISSTA-2024会议投稿论文《DroidTEC》及GitHub仓库https://anonymous.4open.science/r/TypeStateMisuseDetector
适用场景
- 软件分析工具评估：对比CrySL、AsyncChecker等工具在Android应用类型状态检测任务中的性能
- Android应用安全研究：分析真实Android应用中的类型状态误用模式及影响
- TypeState API规则验证：基于实验数据验证TypeState API规则的有效性
- 学术论文实验复现：复现ISSTA-2024投稿论文《DroidTEC》的实验结果
- Android应用开发质量保障：为Android应用开发者提供类型状态误用检测的参考数据
