一、Soot的安装与使用 1、soot简介 Soot是McGill大学的Sable研究小组自1996年开始开发的Java字节码分析工具，它提供了多种字节码分析和变换功能，通过它可以进行过程内和过程间的分析优化，以及程序流图的生成，还能通过图形化的方式输出，让用户对程序有个直观的了解。尤其是做 ...

背景 soot没有提供直接对jar进行分析的API [1]，需将jar包解压，然后调用 Options.v().set_process_dir() 方法，设置分析目录，该目录是解压所得的class文件（注意保持层次结构）。 期间需要注意两点： 1. 需将class文件加入 ...

本文是对于北京大学熊英飞老师《软件分析》课件以及南京大学李樾老师《软件分析》课程视频的总结。 1.哥德尔不完备定理及其在软件分析中应用 1.1定理内容 对任意能表示自然数的系统，一定有定理不能 被证明 1.2定理应用 主流程序语言的语法+语义=能表示自然数的形式系统 。 哥德尔不完 ...

Soot生成控制流图 1.下载jdk1.7并配置环境变量（下载地址：http://www.oracle.com/technetwork/java/javase/downloads/java-archive-downloads-javase7-521261.html ...

的软件 1. unix/Linux系统（自带） 2. CMake（自带 ...

本文是对于南京大学李樾和谭添老师开设的《软件分析》课程视频的笔记总结。相对应的视频在可以再B站上观看。 1.Motivation 上节回顾 在笔记3里我学习了CHA有关的概念和用法，用一个例子来复习一下： 如上图所示，定义了一个接口Number，然后有三个类继承了该接口，实例化了一个 ...

项目 内容 这个作业属于哪个课程 2021春季软件工程（罗杰 任健） 这个作业的要求在哪里 案例分析作业 我在这个课程的目标是 认识软工，拥抱软工，提升相关 ...

joplin是一个开源的，提供了全平台客户端的markdown笔记软件，而且它支持强大的dav协议，所以非常方便的变成了基于云盘的云端笔记软件。 joplin官网 joplin和坚果云搭配使用 选择坚果云主要是因为，坚果云提供的服务比较好，虽然限制流量，但是不限制速度，这点 ...