Related: there as a reverse engineering/CTF challenge (which shall remain nameless to prevent you from cheating) where my solution involved injecting shellcode

Related: there as a reverse engineering/CTF challenge (which shall remain nameless to prevent you from cheating) where my solution involved injecting shellcode that adds specific number to the stack pointer. But your shellcode -- including the number(s) you add -- can only involve bytes from the ascii alphanumeric set. So I used a SAT solver to find a combination of numbers, not using prohibited bytes, that add up to the number I really want. https://docs.google.com/presentation/d/19K7SK1L49reoFgjEPKCFCPsJeL_p2coMAVlCLpzbriw/edit#slide=id.p https://docs.google.com/presentation/d/19K7SK1L49reoFgjEPKCF...