机器人工作台 swMATH ID: 13317 软件作者: Christian Fritz、Steven Arzt、Siegfried Rasthofer 描述: DroidBench是一个开放测试套件,用于评估专门针对Android应用程序的污染分析工具的有效性。该套件可用于评估静态和动态污染分析,但特别是它包含有趣的静态分析问题的测试用例(字段敏感性、对象敏感性、访问路径长度的权衡等),以及特定于Android的挑战,如正确建模应用程序的生命周期,充分处理异步回调并与UI交互。 主页: https://github.com/secure-software-engineering/DroidBench 源代码: https://github.com/secure-software-engineering/DroidBench 相关软件: 协同检查器 引用于: 1文件 全部的 前5名6位作者引用 1 Patrick P.K.Chan。 1 崔兴民 1 许志光 1 Qing,思涵 1 姚小明 1 于达 0连载引用 在2个字段中引用 1 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文