<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"><channel><title>熊子枫博客</title><description>技术笔记与 AI 产品思考。</description><link>https://snowfly09.com/</link><item><title>静态程序分析中的上下文敏感性</title><link>https://snowfly09.com/zh/blog/context-sensitive/</link><guid isPermaLink="true">https://snowfly09.com/zh/blog/context-sensitive/</guid><description>关于调用点敏感、堆敏感与上下文敏感指针分析的笔记。</description><pubDate>Sun, 01 Dec 2024 00:00:00 GMT</pubDate></item><item><title>过程间分析</title><link>https://snowfly09.com/zh/blog/interprocedural-analysis/</link><guid isPermaLink="true">https://snowfly09.com/zh/blog/interprocedural-analysis/</guid><description>理解调用图构建与基于指针分析的过程间分析。</description><pubDate>Fri, 01 Nov 2024 00:00:00 GMT</pubDate></item><item><title>数据流分析笔记</title><link>https://snowfly09.com/zh/blog/dataflow-analysis/</link><guid isPermaLink="true">https://snowfly09.com/zh/blog/dataflow-analysis/</guid><description>数据流分析核心概念与实践规则梳理。</description><pubDate>Tue, 01 Oct 2024 00:00:00 GMT</pubDate></item><item><title>中间表示笔记</title><link>https://snowfly09.com/zh/blog/intermediate-representation/</link><guid isPermaLink="true">https://snowfly09.com/zh/blog/intermediate-representation/</guid><description>编译器 IR、Jimple 示例、SSA 与 CFG 思路总结。</description><pubDate>Sun, 15 Sep 2024 00:00:00 GMT</pubDate></item><item><title>静态程序分析导论</title><link>https://snowfly09.com/zh/blog/intro-to-static-program-analysis/</link><guid isPermaLink="true">https://snowfly09.com/zh/blog/intro-to-static-program-analysis/</guid><description>静态分析的意义与健全性、完备性核心概念。</description><pubDate>Sun, 01 Sep 2024 00:00:00 GMT</pubDate></item></channel></rss>