Ripple：不完整信息环境下Android应用的静态反射分析

尽管反射在Android应用中被广泛使用，但它给静态安全分析带来了严峻问题。目前，字符串推断被用于处理反射，导致大量安全漏洞被遗漏。在本文中，我们提出了Android应用中不完整信息环境（IIEs）的普遍性，即在静态分析过程中某些关键数据流缺失，以及在此类环境下解析反射调用的需求。我们提出Ripple，首个感知IIE的Android应用静态反射分析工具，其解析反射调用比字符串推断更为可靠。基于Google Play上17款流行Android应用的验证表明了Ripple在以低误报率发现反射目标方面的有效性。因此，Ripple使得FlowDroid（一款针对Android应用的污点分析工具）能够发现数百个原本会被遗漏的敏感数据泄露。作为一种基础分析，Ripple将对许多安全分析客户端具有价值，因为现在可以在IIE下分析更多程序行为。