https://asplos.dev/wordpress/2022/02/15/program-analysis-intro/