这个讲得不错 https://www.cs.cornell.edu/courses/cs4756/2023sp/
特别是 https://www.cs.cornell.edu/courses/cs4756/2023sp/assets/slides_notes/lec26_slides.pdf 不得不说老外的课，紧跟前沿。