---
id: 2398
title: "Hacking for Charity: Automated Bug-finding in LibOTR"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2016/01/13/hacking-for-charity-automated-bug-finding-in-libotr/"
published_at: "2016-01-13T12:50:25Z"
tags: ["vulnerability-research", "open-source", "fuzzing", "privacy", "encryption", "vulnerability-discovery", "automated-testing", "darpa", "secure-messaging", "charity", "cyber-grand-challenge", "automated-bug-finding", "decree", "cgc", "libotr"]
phying_url: "https://phying.com/item/2398"
lang: en
---

# Hacking for Charity: Automated Bug-finding in LibOTR

## Summary

Trail of Bits aimed its Cyber Grand Challenge bug-finding system at libotr, the OTR messaging library, porting it to DECREE and finding no critical bugs in tested paths, settling a charity bet.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2016-01-13T12:50:25Z
- **Original:** https://blog.trailofbits.com/2016/01/13/hacking-for-charity-automated-bug-finding-in-libotr/
- **Phying News:** https://phying.com/item/2398