Can NStatic achieve some semblance of a human-like intelligence, with performance that is indistinguishable from a code reviewer with no prior experience with the code base? There are three important ingredients that bring the tool closer to that dream: Symbolic manipulation, interprocedural analysi...