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 hitting a good stride moving forward on this, which is good because I’ve been pretty mentally constipated on doing anything that I can even pretend is useful.| Hey There Buddo!