A Python CLI for Verifying Assembly | Hey There Buddo!
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:| Hey There Buddo!
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:| Hey There Buddo!
To bootstrap Rust, no cost is too great.| notgull
You probably already know about how I spent more than a year having fun with| ekaitz.elenq.tech
