first time I tried it, I asked it to find bugs in a piece of very well tested C code.

It introduced an off-by-one error by miscounting the number of arguments in an sprintf call, breaking the program. And then proceeded to fail to find that bug that it introduced.