defcon quals and symbolic execution with rosette

i’m getting a bit allergic to the way Chat Box Generated Prose always overuses headings so i might just not put any headings at all in this post. we’ll see. make a terrible comic day might have been last week, but make a terrible blog post day is every day~ nearly an entire month ago i once again got to play defcon qualifiers with team Shellphish, and we once again pulled it together to make the…