A fast, open-source, static analysis tool for profoundly improving software security and reliability.