https://asplos.dev/wordpress/2022/08/09/final-report-of-program-analysis/
Final Report of Program Analysis