Can a .NET code analysis tool approach human intelligence?

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 analysis, and the application of general abstract principles rather than specific rules.