Oink is a collaboration of C++ static analysis tools.