Saturn

Saturn: A SAT-based tool for bug detection Saturn is a Boolean satisfiability (SAT) based framework for static bug detection. Saturn targets software written in C and is designed to support a wide range of property checkers