CodeQL – Own Notes – Part One
Created from 2024-04-25. 环境部署 brew install codeql # 检测安装成功 codeql --version # Output # CodeQL command-line toolchain rel…
Doop Notes – Java binary static analysis tool
Doop Notes Written from June 2023. Doop Output: Installation and Usage 项目地址 yanniss / doop — Bitbucket plast-lab/doop-mi…
从 0 到 1 的 JQF 笔记 – Blog
Souffle – Some Notes
Note – joern
References Tutorial: Fuzzing with Zest · rohanpadhye/JQF Wiki (github.com) Writing a JQF test · rohanpadhye/JQF Wiki (gi…
补充之前没有太了解的一些 tricks，添加一下examples和description。 若是该文中没有提及的，推荐参考 官方Docs 还望见谅 总体上的语法： Program | Soufflé • A Datalog Synthesi…
Introduction 基本操作 安装过程按照Docs中的: ./joern-install.sh --interactive 之后进入安装目录，./joern 项目管理 // 导入项目 importCode(inputPath=&quo…
The art, science, and engineering of fuzzing@ A survey
1. Introduction Prominent vendors employ fuzzing as part of their secure development practices. More recently, security …
指针分析算法 – Andersen算法
1. 问题背景 随着计算机技术的发展，当前的软件系统的规模和复杂度不断提高，一般采用动态程序分析或静态程序分析，对软件系统进行分析，包含漏洞检测、错误检测、并行优化等方面。在分析C/C++（Java）等程序时，静态分析技术首先需要解决如何解…