Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Hey There Buddo!
(Uncensored)
subscribe
A Python CLI for Verifying Assembly | Hey There Buddo!
https://www.philipzucker.com/asm_verify3/
links
backlinks
I’ve been building a system that verifies assembly programs via symbolic execution. I think the following are the most novel points of my approach: