Black Hat Europe 2025 | Abstractions For Program Analysis
"Abstractions for Program Analysis" by Kyle Martin, explores how different abstractions simplify the process of analyzing software to find bugs, understand malware, or verify code behavior. Here are the key takeaways from the talk: Redefining "Program": Martin suggests viewing a program not just as a list of instructions, but as a set of states and the transformations that move and manipulate data between them. This perspective is more useful for automated analysis and fuzzing. The "Standard Model" of Analysis: He introduces a foundational framework for querying code based on four…