Static Analysis; Mobile Security; Android Application; ICC (Inter-component Communication); Points-to analysis; Information leakage; Vulnerable app; Malware; Security vetting;
机译:Amandroid:用于Android应用程序安全审核的精确且通用的组件间数据流分析框架
机译:DROIDRISTA:Android应用程序的高精度静态数据流分析框架
机译:FlowDroid:针对Android应用的精确上下文,流,字段,对象敏感和生命周期感知的污染分析
机译:Amandroid:Android应用程序安全审查的精确和一般的组件间数据流分析框架
机译:精确,通用,高效的数据流分析,可对Android应用进行安全审核
机译:Android在脑机接口数据安全中的应用性信息综合行为特征分析方法
机译:Android应用程序集的实用精确污染静态分析
机译:使用GUI逻辑审核android apps的专业二进制分析。