BugInsight: A memory leak and deadlock finder for C, C++github.com/JochenBaier2 points__builtin_trap2 years ago