Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2019/01/25/symbolic-path-merging-in-manticore/
Symbolic Path Merging in Manticore