4 ms·Infer: A tool to detect bugs in Java and C/C++/Objective-C code before it ships2 points by yarapavan 7y ago