They are probably referring to one of those "probabilistic" algorithms, something that will get a right answer with only some (possibly high) probability.

These kinds of algorithms can be used in various static analysis techniques to, say, approximate the value of a variable at a given point in the program (this reduces to the halting problem).