Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2019/08/30/binary-symbolic-execution-with-klee-native/
Binary symbolic execution with KLEE-Native