CppGuard: C/C++ developer tool for detecting deadlocksgithub.com/JochenBaier1 point__builtin_trap3 years ago