Abstraction: Not What You Think It Is | Path-Sensitive https://www.pathsensitive.com/2022/03/abstraction-not-what-you-think-it-is.html?m=1 April 8, 2022