Yeah - there's definitely a GIGO factor. Throwing it at a undocumented codebase with poor and inconsistent function & variable names isn't likely to yield great revelations. But it can probably still tell you why changing input X didn't result in a change to output Y (with 50k lines of code in-between), saving you a bunch of debugging time.