Gambit

Open Source

Solidity mutation testing tool by Certora. Generates AST-level mutants to validate test suite and formal verification coverage. Written in Rust for speed.

About

Gambit generates mutants by analyzing the Solidity AST and applying syntax transformations that simulate subtle malicious code changes. It integrates with the Certora Prover formal verification pipeline to validate that specifications catch all meaningful code changes. Written in Rust for performance.