Presumably with static analysis. I don't know exactly how this works, but it's surprisingly good.