[sudhackar]

fwiw there's a popular symbolic execution tool with the same name https://github.com/trailofbits/manticore

Just got confused for a sec.