Introduction to Static AnalysisXavier Rival, Kwangkeun Yi
Introduction to Static Analysis
by Xavier Rival, Kwangkeun Yi · first published 2020
3mentions
1recommended by
3HN commenters
2020–2024first – last mentioned
33% recommend67% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Introduction to Static Analysis by Xavier Rival and Kwangkeun Yi is not as heavy on the mathematical notation as the Nielsen book.
on “How to develop statically un-analyzable PL” ↗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…
on “A hands-on introduction to static code analysis” ↗…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.
on “Dataflow Analyses and Compiler Optimizations That Use Them, for Free” ↗