examples for C / C++ bugs caught by various safety tools - View it on GitHub