Comment by maweki

> it is inherently resistant to false positives

By Rice's Theorem, I somehow doubt that.