zencode (pypi): Z3-assisted x86 shellcode encoder
Keywords: z3|shellcode|x86|assembly