Symbolic execution tool
Why do you think that https://github.com/trailofbits/publications is a good alternative to manticore
Symbolic execution tool
Why do you think that https://github.com/trailofbits/publications is a good alternative to manticore