https://hackerpaper.kaipfister.de/p/1801.09189/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=37974471urn:hackerpapers:mention:1801.09189:37974471Sun, 22 Oct 2023 11:31:27 GMT<p>No, static analysis can also analyze multiple functions. What you are looking for is called interprocedural analysis and is more expensive than single function analysis (aka intraprocedural analysis). More generally what you want is context-sensitive (knows the calling context) and probably flow-sensitive (knows the control flow). The more precise the analysis, the more expensive they are. There are points-to analysis that can be pretty precise, e.g. https://arxiv.org/abs/1801.09189 &gt; I am less concerned about that as computation resources exploded due to AI and solving SAT is getting faster…</p><p><a href="https://hackerpaper.kaipfister.de/p/1801.09189/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL