SMACK Software Verifier and Verification Toolchain
Symbiotic is a tool for finding bugs in computer programs based on instr...