Skip to content
Hallway
0:00 / 0:00

#programanalysis#abstractinterpretation#reverseengineering

"Program analysis for reverse engineers: from ⊤ to ⊥" - Adrian Herrera

BSides Canberra

2.6K subscribers • 2 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Adrian Herrera

Advanced. Deep dive for people who know the field.

183 views8 years ago1 recommendation

SecuritySystems programmingReverse engineeringExploits and vulnerabilities

Adrian Herrera explains program analysis concepts, from lattices to abstract interpretation, tailored for reverse engineers.

BSides Canberra 2018 Slide deck: drive.google.com/file/d/1j9rfMt14pubi6G9PKK3akddyeet5bf0x/vi…

Why it's here

1 person recommends this

What people say. Recommended as an essential resource for learning static program analysis and code analysis.

u/mttdin r/ProgrammingLanguages • Recommends

On “What is *the* book for linting, code analysis, etc?”

…nguages - http://sepl.cs.uni-frankfurt.de/2014-ws/m-ps/index.en.html - lectures (videos & slides): http://sepl.cs.uni-frankfurt.de/2014-ws/m-ps/sessions.en.html * Static Program Analysis - Anders Møller and Michael I. Schwartzbach - https://cs.au.dk/~amoeller/spa/ - PLISS 2019 - Anders Møller - Static Program Analysis (part 1/2) - link to this video - Static Program Analysis (part 2/2) - link to this video * 25 Years of Program Analysis - DEF CON 25 (2017) - Yan Shoshitaishvili (Zardus) - link to this video - https://media.defcon.org/DEF%20CON%2025/DEF%20CON%2025%20presentations/DEFCON-25-Zardus-25-Years-of-Program-Analysis-UPDATED.pdf * Software Analysis and Testing - Mayur Naik - http:/…
24View on Reddit