- Principles of Program Analysis 3: Constraint-based analysis ✅ 2024-07-27
- https://www.cs.cmu.edu/~aldrich/courses/15-819O-13sp/resources/cfa.pdf ✅ 2024-07-27
- https://matt.might.net/articles/implementation-of-kcfa-and-0cfa/ ✅ 2024-07-27
- and others, check the notes ✅ 2024-07-27
- Principles of Program Analysis 4: Abstract interpretation ✅ 2024-07-30
- https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html ✅ 2024-07-30
- https://www.cs.utexas.edu/~isil/cs389L/AI-6up.pdf ✅ 2024-07-30
- Alias Analysis for Object-Oriented Programs ✅ 2024-07-29