Black Hat Europe 2025 | Abstractions For Program Analysis
https://youtu.be/Hjw6EEOeWDo "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…