https://viewv.github.io/posts/Program-Analysis-1-Introduction/
Program Analysis 1 Introduction - X=>Z