https://asplos.dev/wordpress/2022/03/24/program-analysis-intraprocedural-analysis/
[Program Analysis] Intraprocedural Analysis