GitHub repository: xiw/stack
Primary language: C++
Description: A static checker for identifying unstable code.