Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Semi-Automated Assembly Verification in Python using pypcode Semantics | Hey There Buddo!
https://www.philipzucker.com/assembly_verify/
links
backlinks
Tagged with:
formalmethods
Roast topics
Find topics
Find it!
I’ve worked on binary verification tooling for a while.
