6 ms·
fwiw there's a popular symbolic execution tool with the same name https://github.com/trailofbits/manticore https://github.com/trailofbits/manticore Just got co
by sudhackar 6y ago
fwiw there's a popular symbolic execution tool with the same name https://github.com/trailofbits/manticore https://github.com/trailofbits/manticore
Just got confused for a sec.