Article author here. Agree that the post merely touches the surface for static analysis -- because it was aimed towards an audience looking for an introduction to static analysis. The scope for the examples in this post had to be limited for this reason. Inter-procedural pointer analysis -- Yes, a lot more trickier than these, but definitely more juicier. Will try to write a…
……Kildall, A Unified Approach to Global Program Optimization. [4] https://en.wikipedia.org/wiki/Gary_Kildall [5] F. Nielson, H. Riis Nielson, C. Hankin, Principles of Program Analysis. [6] X. Rival, K. Yi, Introduction to Static Analysis: An Abstract Interpretation Perspective. [7] P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.
…Kildall, A Unified Approach to Global Program Optimization. [4] https://en.wikipedia.org/wiki/Gary_Kildall [5] F. Nielson, H. Riis Nielson, C. Hankin, Principles of Program Analysis. [6] X. Rival, K. Yi, Introduction to Static Analysis: An Abstract Interpretation Perspective. [7] P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.
Xavier Rival 和 Kwangkeun Yi 写的《Introduction to Static Analysis》，在数学符号的使用上没有 Nielsen 那本书那么繁重。
Introduction to Static Analysis by Xavier Rival and Kwangkeun Yi is not as heavy on the mathematical notation as the Nielsen book.
我是文章作者。我同意这篇文章对 static analysis 仅仅是浅尝辄止——因为它的目标受众是那些想找 static analysis 入门介绍的人。出于这个原因，文章里例子的范围不得不加以限制。Inter-procedural pointer analysis——确实比这些复杂得多，但也绝对更丰富、更有料。我会尽量写一篇……
Article author here. Agree that the post merely touches the surface for static analysis -- because it was aimed towards an audience looking for an introduction to static analysis. The scope for the examples in this post had to be limited for this reason. Inter-procedural pointer analysis -- Yes, a lot more trickier than these, but definitely more juicier. Will try to write a…
……Kildall, A Unified Approach to Global Program Optimization. [4] https://en.wikipedia.org/wiki/Gary_Kildall [5] F. Nielson, H. Riis Nielson, C. Hankin, Principles of Program Analysis. [6] X. Rival, K. Yi, Introduction to Static Analysis: An Abstract Interpretation Perspective. [7] P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.
…Kildall, A Unified Approach to Global Program Optimization. [4] https://en.wikipedia.org/wiki/Gary_Kildall [5] F. Nielson, H. Riis Nielson, C. Hankin, Principles of Program Analysis. [6] X. Rival, K. Yi, Introduction to Static Analysis: An Abstract Interpretation Perspective. [7] P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.