A static analysis tool for C/C++ programmes that finds bugs and glitches in source code. It runs...