Zifeng Xiong BlogTechnical notes and AI product thinking.https://snowfly09.com/Context Sensitivity in Static Program Analysishttps://snowfly09.com/en/blog/context-sensitive/https://snowfly09.com/en/blog/context-sensitive/Notes on call-site sensitivity, heap sensitivity, and context-sensitive pointer analysis.Sun, 01 Dec 2024 00:00:00 GMTInterprocedural Analysishttps://snowfly09.com/en/blog/interprocedural-analysis/https://snowfly09.com/en/blog/interprocedural-analysis/Understanding call graph construction and pointer-analysis-aware interprocedural analysis.Fri, 01 Nov 2024 00:00:00 GMTDataflow Analysis Noteshttps://snowfly09.com/en/blog/dataflow-analysis/https://snowfly09.com/en/blog/dataflow-analysis/A compact walkthrough of dataflow analysis concepts and practical rules.Tue, 01 Oct 2024 00:00:00 GMTIntermediate Representation Noteshttps://snowfly09.com/en/blog/intermediate-representation/https://snowfly09.com/en/blog/intermediate-representation/Compiler IR basics, Jimple examples, SSA, and CFG ideas.Sun, 15 Sep 2024 00:00:00 GMTIntroduction to Static Program Analysishttps://snowfly09.com/en/blog/intro-to-static-program-analysis/https://snowfly09.com/en/blog/intro-to-static-program-analysis/Why static analysis matters and key concepts around soundness and completeness.Sun, 01 Sep 2024 00:00:00 GMT