Definition
Binary analysis is the reverse-engineering and verification work done directly on compiled programs rather than source code: disassembling, lifting to intermediate representations, recovering control flow, finding vulnerabilities. It’s the lens you reach for when source isn’t available or the compiler did something interesting on the way down.
Episodes covering this
Worth reading next
Papers we haven't done a deep dive on yet, but would recommend on this topic.