GitHub repository: keram88/smack
Primary language: C
Description: SMACK: A Bounded Software Verifier for C Programs