数据集概述
本数据集是ICSE-2026会议提交物DroidTEC的实验结果集合，包含实验设置说明和多项研究问题（RQ1至RQ5）的分析结果，涉及Android应用的类型状态API规则、使用情况、误用检测及对比工具执行结果，用于支持论文中的实验分析。
文件详解
- Experimental_Setup.txt
- 文件格式：TXT
- 字段映射介绍：包含实验设置说明，提及10,000个Android应用样本（如com.andromo.dev510348.app489483.apk等）
- RQ1_Rules.zip
- 文件格式：ZIP
- 字段映射介绍：包含类型状态API规则数据
- RQ2_typestate_API_usage.zip
- 文件格式：ZIP
- 字段映射介绍：包含Android应用中类型状态API的使用 prevalence 数据
- RQ4_Typestate_Misuses.zip
- 文件格式：ZIP
- 字段映射介绍：包含在真实应用中识别出的类型状态误用数据
- RQ5_CrySL_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含CrySL工具在10,000个Android应用上的执行结果
- RQ5_AsyncChecker_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含AsyncChecker工具在10,000个Android应用上的执行结果
- RQ5_VALA_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含VALA工具在10,000个Android应用上的执行结果
- RQ5_CiD_Results.zip
- 文件格式：ZIP
- 字段映射介绍：包含CiD工具在10,000个Android应用上的执行结果
- RQ5_BenchMark_Apps.zip
- 文件格式：ZIP
- 字段映射介绍：包含VALA工具在10,000个Android应用上的执行结果（基准应用相关）
数据来源
ICSE-2026会议提交物DroidTEC（源代码托管于https://anonymous.4open.science/r/TypeStateMisuseDetector/）
适用场景
- Android应用类型状态分析: 研究类型状态API的使用模式与误用情况
- 静态分析工具对比: 评估CrySL、AsyncChecker、VALA等工具在类型状态检测中的性能差异
- 软件缺陷检测研究: 基于真实应用中的类型状态误用数据，优化缺陷检测算法
- 学术实验复现: 支持ICSE-2026相关论文的实验结果验证与复现
- Android应用安全研究: 分析类型状态误用对应用安全性的影响
