Find the bugs others miss.

Built by the team behind ATLANTIS, winner of DARPA AIxCC, QED finds critical vulnerabilities in complex software that others miss.

Rectangular code regions start gray, then fill in from a random seed cell as color propagates outward — most turning blue for safe, a few turning red for buggy.

We Helped Secure

Commonware
Ethereum Foundation Protocol Security
Celestia
Cosmos
THORChain