IC637 : Program Analysis, 2025 Fall

Course Information

• Instructor: Minseok Jeon (전민석)
  • Office: 211, E7 Bldg
  • Email: minseok_jeon@dgist.ac.kr

Course Materials

• Self-contained lecture notes are provided

• References

  • Xavier Rival and Kwangkeun Yi. Introduction to Static Analysis: An Abstract Interpretation Perspective. MIT Press

Slides

• Course Overview: lecture0.pdf
• Introduction to Program Analysis: lecture1.pdf review.pdf
• Sign Domain: lecture2.pdf review.pdf
• Interval Domain: lecture3.pdf Application:PL4XGL
• Octagon Domain: lecture4.pdf
• Pointer Analysis: lecture5.pdf