文件名称：IntelliDroid:适用于Android的目标输入生成器，可提高动态恶意软件分析的效率
文件大小：92.34MB
文件格式：ZIP
更新时间：2024-05-31 15:50:28
android static-analysis constraints dynamic-analysis aosp
智能机器人 IntelliDroid是适用于Android应用程序的分析工具，可提取导致特定行为的调用路径，并在运行时精确执行这些路径。 当给出一组目标行为时，静态分析组件将遍历应用程序的调用图以找到这些行为的路径。 它还提取路径约束，这些约束用于确定可以触发这些路径的输入值。 动态组件采用提取的路径/约束并将输入值注入Android设备，从而触发目标行为。 有关更多详细信息，请参见我们的和（NDSS 2016）。 组件 框架分析 “ FrameworkAnalysis”执行静态分析以生成针对Android框架的约束。 我们目前提供输出框架约束，以便可以将其添加到“ AppAnalysis”组件产生的应用程序约束中。 应用程式分析 “ AppAnalysis”目录包含为Android应用程序生成约束的代码。 内容： 目录 描述 预处理 提取和预处理APK文件并将其传递到工具之前的脚本。