机译:提取大型框架权限检查的静态分析:Android分析的挑战和解决方案
Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, 4, rue Alphonse Weicker, Luxembourg, Kirchberg|c|;
Android; Java; Large scale framework; Soot; call-graph; permissions; security; static analysis;
机译:静态分析工具,用于识别Android应用程序的许可滥用
机译:Android Apps:基于权限分类的静态分析
机译:PGFIT:IOT编程框架中健康和健身应用的静态许可分析
机译:ER捕手:Android中准确和可扩展的事件竞争检测的静态分析框架
机译:探索静态注册的广播接收器的最佳子集和Android应用程序中恶意行为预测的权限
机译:基于模型检查的环境辅助生活解决方案分析框架
机译:提取大型框架权限检查的静态分析:Android分析的挑战和解决方案
机译:结合静态分析和模型检验进行软件分析