Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2014/02/23/semantic-analysis-of-native-programs-introducing-codereason/
Semantic Analysis of Native Programs with CodeReason