本文为课程的期末复习笔记，包括程序的表示、三种数据流分析，以及指针分析。