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!
