Soot

首页 > TAG信息列表 > Soot

Day 6 HomeWork-ConstantPropagation

写在前面参考这个项目实现的：南大软件分析作业代码非官方实现这个学起来就难，概念落到代码上更难…这里就记录一下我的理解（还是要看完前六节课）顺便，期待下今年的Tai-e项目 Test Framework package com.CP; import org.junit.After; import org.junit.Before; import org.jun

FlowDroid安装及环境配置

FlowDroid安装我一定要安装好这个东西，别人的教程并不完全适用于我，这是属于我自己的教程。之前参考了很多很多博客，还是没有运行好。一气之下，重新安装。准备工作 1、java环境（jdk_1.8.1_131） 2、maven环境。（3.6.3） 3、FlowDroid源码下载下载最新的release版本，哦。也不是非

利用Soot对APK插桩实践

一、使用soot插装apk应用程序 1、编写apk 首先编写一个需要被插装代码的apk，为了方便起见，编写的apk非常简单，只有一个Activity，未插装前代码如下： package com.example.myapplication; import androidx.appcompat.app.AppCompatActivity; import android.os.Bundle; import android.

Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 02 Intermediate Representation

程序编译过程 IR AST与IR的区别 3-Address Code(3AC) 特点：一条指令中最多出现3个地址，右值只能有一个、这里Address可以是： Variable name: x, y Constant: 3 Compiler-generated temporary: t1, t2 如果有类似于x = 1 + 2 + 3的语句，就需要改为t1 = 1 + 2; x = t1 + 3; Java St