环境配置 这里我使用的是教学版，Tai-e的实验作业去github下一份就行了：https://github.com/pascal-lab/Tai-e-assignments，因为Tai-e是用 Gradle 构建的，所以每个作业也符合 Gradle 的基本结构： build.gradle.kts，gradlew，gradlew.bat，gradl…

前言 比起啃代码，感觉还是啃论文舒服点，之前学习了南京大学李樾老师和谭添老师主讲的软件分析课程，对我的帮助很大，这里就来学习一下两位老师的代表作，这篇最初的关于Tai-e的论文。 背景 两位老师这篇论文翻译过来叫做：《利用经典优秀设计的Java开发人员友好型静态分析框架》，从标题也可以看出来，Soot的核心创新点其实就是它是一个开发者友好的静态分析…

前言 CodeQL 是 GitHub（实际上是Github收购的）推出的一种代码分析引擎和查询语言，用于查找软件中的漏洞和安全问题。它的核心理念是将代码表示成一种可以查询的数据库结构，开发者或研究人员可以像查询数据库一样查询代码的结构和行为，简单来说就是一种可以通过编写 QL 制定规则的静态分析工具(SAST)。 我自己也勉强算是搞SAST的，所以…

项目地址：https://github.com/Fushuling/TaintScaner 看完点个star，阿里嘎多😭 如果没有静态分析基础的话建议先看一下我的上一篇博客静态分析入门，不然可能会难以理解我后面的思路。 简化了的思路：https://fushuling-1309926051.cos.ap-shanghai.myqcloud.com/…

前言 受yulate强烈推荐，去B站看了一下目前国内学术界静态分析最前沿的静态分析课，由南京大学李樾老师和谭添老师主讲，讲的确实挺好的：南京大学《软件分析》课程01，这篇文章主要就写一下我个人的笔记，系统的、全面的入门静态分析。 静态分析的基本概念 静态分析 静态分析（Static Analysis） 是指在实际运行程序之前，通过分析静态…