Black Hat Europe 2025 | Abstractions For Program Analysis

We have an abundance of representations for code; from source code, to assembly, to decomplied code, to dataflow, block diagrams, and so much more. But why? Simply, because there is a best abstraction for every problem you want to solve. But knowing what abstractions are available and when to choose one over another is hard! In this talk, we'll delve deep into intermediate languages, discuss why you should be using them to solve the tasks at hand, and show you how to choose the best abstraction for the job. In doing so, we'll reveal the secrets that power compilers and decompilers (and even processors!) alike to perform analyses that find bugs, vulnerabilities, optimize code, and so, so much more...all without having to read a single line of code! By: Kyle Martin | Engineer, Vector 35 https://blackhat.com/eu-25/briefings/...