https://wlingze.github.io/writing/ 程序分析、终端应用与技术写作。 zh-CN Sat, 10 Oct 2026 06:06:06 GMT https://wlingze.github.io/writing/syntaxflow-csharp-modes/ https://wlingze.github.io/writing/syntaxflow-csharp-modes/ Sat, 10 Oct 2026 06:06:06 GMT SyntaxFlow 最近的升级：三种检测模式、分阶段报告与完整的 C/.NET 支持 最近 SyntaxFlow 做了一次比较大的升级。扫描方式、阶段信息、规则覆盖、大项目表现都有明显变化。这篇文章把这些变化讲清楚，并在中 SyntaxFlow https://wlingze.github.io/writing/ssa2llvm-size/ https://wlingze.github.io/writing/ssa2llvm-size/ Fri, 14 Aug 2026 03:20:45 GMT 一个 hello world 为什么是 110MB？—— 我们怎么把它缩到 8MB 这是 yaklang 的 AOT 编译器 ssa2llvm 的一次真实二进制剪裁实践。 1. 问题：hello world 凭什么 110M 编译与运行时 https://wlingze.github.io/writing/irify-ai-skills/ https://wlingze.github.io/writing/irify-ai-skills/ Fri, 03 Jul 2026 04:02:49 GMT IRify AI 代码审计 & Skill 安全分析 — 使用指南 本文介绍 IRify 中两项新的 AI 联网审计 功能：AI 代码审计 与 AI Skill 安全分析。阅读后，你可以独立完成从打开软件、选择目录、开始审计 IRify https://wlingze.github.io/writing/ssa2llvm-native/ https://wlingze.github.io/writing/ssa2llvm-native/ Thu, 21 May 2026 15:12:12 GMT 把 Yaklang 脚本编译成原生二进制：SSA2LLVM 现在走到哪了 今天的文章聊一下接下来要上线的一些功能。 简单说就是：我们现在可以把 Yaklang 脚本，编译成原生二进制文件，加上混淆，并且能真正跑起来。 但这不 编译与运行时 https://wlingze.github.io/writing/irify-analysis-optimization/ https://wlingze.github.io/writing/irify-analysis-optimization/ Thu, 26 Mar 2026 09:17:47 GMT IRify性能优化 2.0 前言 过去几个月，Yaklang 在 SSA、CodeScan、SyntaxFlow / SFVM、ANTLR / front-end 这几条线，做完了第二轮比较成体系的性能优化。 如果只看提交记 IRify https://wlingze.github.io/writing/yakssa-interprocedural/ https://wlingze.github.io/writing/yakssa-interprocedural/ Thu, 17 Jul 2025 07:12:28 GMT YakSSA中基于闭包的跨过程数据流分析框架 g g 本报告深入剖析了YakSSA，一个基于静态单赋值（SSA）中间表示（IR）的代码分析系统中执行跨过程数据流分析部分的设计思路。 我们首先为纯函数建立基础分析模型，详细阐述 程序分析 https://wlingze.github.io/writing/irify-audit-modes/ https://wlingze.github.io/writing/irify-audit-modes/ Thu, 29 May 2025 02:45:55 GMT 前言（记得两端对齐文字） 误报的现状 随着企业数字化转型的加速，软件开发已成为企业核心竞争力的重要组成部分。敏捷开发与 DevOps 的广泛应用显著提升了软件交付速度，但也为代码安全带来了前所未有的挑战。近年来，供应链安全事 IRify https://wlingze.github.io/writing/syntaxflow-cve-2021-32092/ https://wlingze.github.io/writing/syntaxflow-cve-2021-32092/ Wed, 19 Feb 2025 09:26:58 GMT Syntaxflow实战1: CVE-2021-32092复现 漏洞分析 这个XSS漏洞发生在一个文档上传功能里， 上传文档后通过/emissary/Document.action/{uuid}接口来获取文档的信息，uuid SyntaxFlow https://wlingze.github.io/writing/ssa-syntaxflow-query/ https://wlingze.github.io/writing/ssa-syntaxflow-query/ Sun, 13 Oct 2024 13:43:25 GMT 编译: SSA SSA中最重要的一点就是只保留值的关系。 在静态分析程序的行为的时候，“某个变量在某个位置被使用，这时候变量内的值是什么？” 是一个重要的问题。 在程序真正运行或者动态分析的过程中，变量其实代表了某个通过名字 程序分析 https://wlingze.github.io/writing/irify-guide/ https://wlingze.github.io/writing/irify-guide/ Mon, 02 Sep 2024 08:03:50 GMT 介绍：IRify 多语言通用代码审计产品：IRify 正式发布。 本产品以代码查询规则 SyntaxFlow 和多语言通用中间表示 YakSSA 为核心，支持代码审计、规则管理、代码扫描、漏洞风险信息处理等功能。已支持 Ya IRify https://wlingze.github.io/writing/syntaxflow-dataflow/ https://wlingze.github.io/writing/syntaxflow-dataflow/ Mon, 05 Aug 2024 07:57:25 GMT 简单来说，SyntaxFlow 是支持通过“定义-使用”的值关系进行追踪的，这个技术十分有用，可以充分发挥 SSA 的技术优势，精准追踪到想要的数据流。在 SyntaxFlow 设计中： 1. -表示向下追踪一级使用链的节点 SyntaxFlow https://wlingze.github.io/writing/qwb-yaklang/ https://wlingze.github.io/writing/qwb-yaklang/ Thu, 27 Jun 2024 13:07:42 GMT Yaklang题解 题目启动需要加载编译好的二进制文件，执行要求输入flag并检查是否正确。 Golang逆向 逆向题目本身，是Golang编写的二进制程序逆向，恢复Golang二进制文件的符号，检查代码发现大体逻辑是调用Y CTF https://wlingze.github.io/writing/yakssa-cli/ https://wlingze.github.io/writing/yakssa-cli/ Thu, 30 May 2024 03:15:52 GMT 在命令行中给新的yak增加了一个ssa子命令，用于使用ssa解析和分析代码。 使用流程： - 使用yak ssa 进行项目编译，编译到数据库内储存 - 使用yak ssa进行代码分析，从数据库内查询并且分析代码。 ![图片展 程序分析 https://wlingze.github.io/pages/a577f4/ https://wlingze.github.io/pages/a577f4/ Wed, 08 May 2024 16:08:59 GMT 摘要 本文从一段Golang代码示例出发，通过剖析变量与值的数据流向，解释了数据流分析的核心逻辑。 进一步探讨编译领域中的程序分析技术（AST、三地址码、SSA IR），对比其优缺点，并重点介绍安全领域对程序分析的需求与挑战 ssa https://wlingze.github.io/writing/yakssa-functions/ https://wlingze.github.io/writing/yakssa-functions/ Fri, 01 Dec 2023 03:07:05 GMT 函数 ssa定义 这里只展示了和Function相关的区域。 定义函数 在yaklang中，当用户开始直接编写代码的时候 从ast遍历生成ssa， 当定义一个函数的时候，将会直接创建一个新的函数，并保存为当前函数的子函数。 程序分析 https://wlingze.github.io/pages/05d97e/ https://wlingze.github.io/pages/05d97e/ Sat, 11 Nov 2023 08:01:47 GMT 2023 近况 应该是从去年开始就一直没更新过博客了，之前做的很多事情都比较长时间，处于摸索摸索的阶段，于是一直没能认真写一些东西。最近做了一些比较困难的事情，越发感觉需要记录一些笔记，而且这件事情也开始逐渐步入正轨。 开始 随笔 https://wlingze.github.io/pages/81b93a/ https://wlingze.github.io/pages/81b93a/ Mon, 25 Sep 2023 12:44:49 GMT 在最近一段工作，在Yaklang.io做一些基于SSA格式中间代码的分析工作。这篇是在前期调研时的内部分享。简单的介绍了SSA格式的特点、好处以及其构建思路。 SSA 在编译过程中的位置 介绍 编译领域的整体介绍。 编译问题 ssa https://wlingze.github.io/pages/169513/ https://wlingze.github.io/pages/169513/ Fri, 06 May 2022 16:13:24 GMT libfuzzer source code analysis libfuzzer 简单源码分析 使用 libfuzz使用可以参考这个项目， libfuzz-workshop, 其内部也有一个单独取出来的libfuzz源码，但 labbb fuzz https://wlingze.github.io/pages/e2c0f9/ https://wlingze.github.io/pages/e2c0f9/ Fri, 08 Apr 2022 08:17:35 GMT pdf format 总览 pdf基本组成分为四部分， header 文件头， 用来表示该文件遵循的pdf规范的版本号，一定是在文件的第一行。 body 文件提， 这是pdf文件的主要部分， 由一系列对象组成，这些对象用来表 realworld pdf https://wlingze.github.io/pages/08d22e/ https://wlingze.github.io/pages/08d22e/ Fri, 08 Apr 2022 07:32:07 GMT xpdf afl fuzz 记录一次失败的fuzz经历， 其实去年九月有fuzz过pycdc但是一直没有笔记，过年的时候更换系统文件都丢了，觉得很可惜，于是这次稍微记录一下， 因为工作原因在写golang, 然后在fuzz测 realworld pdf https://wlingze.github.io/pages/5a4421/ https://wlingze.github.io/pages/5a4421/ Sat, 02 Apr 2022 17:03:20 GMT 经典的覆盖率导向fuzz, 运行策略: 覆盖率导向 思路 afl的使用， 首先设置编译器为afl-gcc 进行编译，得到的文件使用afl-fuzz进行fuzz测试。 afl实现思路， 首先载入用户提供的测试用例初始化队列， labbb fuzz https://wlingze.github.io/pages/864c37/ https://wlingze.github.io/pages/864c37/ Thu, 03 Mar 2022 06:34:52 GMT susctf 2022 mujs 题目信息 mujs dd0a0972b4428771e6a3887da2210c7c9dd40f9c nc 124.71.182.21 9999 解题人数： 10 题目分值： 689 链接到 ctf_wp xctf https://wlingze.github.io/pages/cae039/ https://wlingze.github.io/pages/cae039/ Sat, 26 Feb 2022 09:59:28 GMT local Optimization 理论&& llvm实现 基本概念 BasicBlock 基本块， 在编译优化中，一个函数被划分为多个基本块， 一个基本块中有多个指令组成。 只有基本块中的第一个指令可以从其他块到达。 ( labbb compile https://wlingze.github.io/pages/6bb913/ https://wlingze.github.io/pages/6bb913/ Sun, 13 Feb 2022 13:17:58 GMT kernel源码调试 编译 这里用了 kernelall这个项目。可以拉个docker直接跑，我在pd的vm中有些问题，但是docker完全没问题。 gdb scrips 可以在编译的时候修改编译选项， 设置产生gdb脚本， ctf_wp kernel https://wlingze.github.io/pages/9ab61d/ https://wlingze.github.io/pages/9ab61d/ Sun, 13 Feb 2022 08:44:53 GMT kernel ttystruct exp ttystruct Linux下一个特殊的驱动文件，是默认集成在linux中的， 代码在driver/tty文件夹。主要文件在 pty.c， ptmx 可以看到其对应的 fileop ctf_wp kernel https://wlingze.github.io/pages/def829/ https://wlingze.github.io/pages/def829/ Sat, 12 Feb 2022 16:09:12 GMT kernel uaf 分析 解包得到babydriver.ko文件， 这里其实有点奇怪，关于驱动文件我们要明白，他是常驻内核态的， 我们的程序打开这个文件描述符和读写关闭等操作会转入到这个驱动对应的函数内，我们编写用户态程序 ctf_wp kernel https://wlingze.github.io/pages/fecaf5/ https://wlingze.github.io/pages/fecaf5/ Thu, 10 Feb 2022 03:39:33 GMT rwctf2022 QLaaS main.py 首先题目文件只有一个main.py, 内容如下： 现获取文件，然后直接调用qiling框架运行它。这里显示是qiling=1.4.1， 也是目前的最新版本。 首先在github ctf_wp rwctf https://wlingze.github.io/pages/81c94f/ https://wlingze.github.io/pages/81c94f/ Wed, 09 Feb 2022 10:28:46 GMT lexical analysis 综述 词法分析是编译过程的第一步，主要是从输入的字符串识别出token， token 一个token对应句子不可再分割的一串字符串，类似英语单词， 一个token class对应一个字符串。 labbb compile https://wlingze.github.io/pages/3387f7/ https://wlingze.github.io/pages/3387f7/ Tue, 08 Feb 2022 08:14:32 GMT qwb 2018 core 年轻人的第一个内核题目。 环境搭建 基础 解包: 重打包: 注意修改启动脚本，内存给的大一点才能启动 修改init脚本 由于默认是chal权限，内核地址信息等看不到，所以还要修改脚本进入root进 ctf_wp qwb https://wlingze.github.io/pages/24e379/ https://wlingze.github.io/pages/24e379/ Mon, 07 Feb 2022 04:41:23 GMT vector implementation 结构 实现上的结构 这个在 allocator traits一节我们提到过， 在sgistl中容器结构为, vector &x), 通过另一个vector构造 vector(Inp labbb stl https://wlingze.github.io/pages/8e8d47/ https://wlingze.github.io/pages/8e8d47/ Wed, 02 Feb 2022 07:23:26 GMT memory allocator traits 简述 这个设计主要是为了在cpp标准中，容器使用的分配器可以指定，而这个指定的分配器需要以实例的形式保存。 在stl中我们设计实现的内存分配器对应的函数都是静态函数， 这也是符 labbb stl https://wlingze.github.io/pages/35fd02/ https://wlingze.github.io/pages/35fd02/ Sat, 29 Jan 2022 23:50:02 GMT try-catch的使用 try-catch保证数据完整性。 前置 在stl中，对于uninitialized系列函数实现中真正的功能函数位置其实有加入错误处理机制。 使用try-catch结构用来保证写入数据的完整性，如果 labbb stl https://wlingze.github.io/pages/7f7968/ https://wlingze.github.io/pages/7f7968/ Wed, 26 Jan 2022 18:25:54 GMT iterator and traits autoptr 在memory头文件中定义。这是最基本的智能指针。 它只封装了一个变量，一个相应类型的指针，它可以通过指针或另一个autoptr来构造。 不允许两个autoptr共享同 labbb stl https://wlingze.github.io/pages/0d997c/ https://wlingze.github.io/pages/0d997c/ Wed, 26 Jan 2022 16:59:06 GMT memory allocator Overview 相关定义在文件 stlalloc.h . 这个文件定义了一下几个分配器： mallocalloctemplate and defaultalloctemplate, 实现了 labbb stl https://wlingze.github.io/pages/c796d2/ https://wlingze.github.io/pages/c796d2/ Sun, 23 Jan 2022 11:03:47 GMT rw2022 体验赛wp - debugger & docker 其实在sctf2021出题过程中， 喊队友出了个debuger控制台的题目，和之前docker暴露控制台端口被人搞了，想出个docker控制台的题目，但是一个 ctf_wp rwctf https://wlingze.github.io/pages/27d6a6/ https://wlingze.github.io/pages/27d6a6/ Sat, 08 Jan 2022 18:29:09 GMT SCTF2021 pwn Christmas Bash 出题思路+预期解 sctf2021 pwn出题思路 Christmas Bash 题目描述 Slang-christmas设计思路 2 opcode生成 scom文件结 ctf_wp sctf https://wlingze.github.io/pages/b618de/ https://wlingze.github.io/pages/b618de/ Sat, 08 Jan 2022 18:29:09 GMT SCTF2021 pwn Christmas Song 出题思路+预期解 sctf2021 pwn出题思路 Christmas Song 题目描述 Slang-christmas设计思路 1 设计 目录结构 语法 运行 do ctf_wp sctf https://wlingze.github.io/pages/28faed/ https://wlingze.github.io/pages/28faed/ Sat, 08 Jan 2022 18:29:09 GMT SCTF2021 pwn Christmas Wishes 出题思路+预期解 sctf2021 pwn出题思路 Christmas Wishes 题目描述 出题思路 调试方案 getshell exp 题目描述 圣诞许愿！请 ctf_wp sctf https://wlingze.github.io/pages/dae74e/ https://wlingze.github.io/pages/dae74e/ Sun, 02 Jan 2022 14:07:26 GMT sctf2021 data leak 出题思路和题解 sctf2021 pwn出题思路 Dataleak 题目描述 出题思路 漏洞位置 内存布局 远程 exp 题目描述 Never trust c pointer magic ctf_wp sctf https://wlingze.github.io/pages/a905fd/ https://wlingze.github.io/pages/a905fd/ Thu, 30 Dec 2021 19:39:49 GMT SCTF2021 pwn gadget 出题思路+预期非预期解 sctf2021 pwn出题思路 出题思路其实来自这个题目，非常规的gadget拼凑， 编译环境 这个题目的编译环境是ollvm编译出的musl libc， 然 ctf_wp sctf