Context Sensitivity in Static Program Analysis
Notes on call-site sensitivity, heap sensitivity, and context-sensitive pointer analysis.
Date: December 1, 2024 | Estimated Reading Time: 4 min | Author: Zifeng Xiong
Blog
RSSInterprocedural Analysis
Understanding call graph construction and pointer-analysis-aware interprocedural analysis.
Date: November 1, 2024 | Estimated Reading Time: 8 min | Author: Zifeng Xiong
Dataflow Analysis Notes
A compact walkthrough of dataflow analysis concepts and practical rules.
Date: October 1, 2024 | Estimated Reading Time: 3 min | Author: Zifeng Xiong
Intermediate Representation Notes
Compiler IR basics, Jimple examples, SSA, and CFG ideas.
Date: September 15, 2024 | Estimated Reading Time: 3 min | Author: Zifeng Xiong
Introduction to Static Program Analysis
Why static analysis matters and key concepts around soundness and completeness.
Date: September 1, 2024 | Estimated Reading Time: 3 min | Author: Zifeng Xiong
No posts match your filters.