A tool to detect bugs in Java and C/C++/Objective-C code before it ships