Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2016/01/13/hacking-for-charity-automated-bug-finding-in-libotr/
Hacking for Charity: Automated Bug-finding in LibOTR