A paper titled Misconceptions about Loops in C by ... writing a good static analysis tool is hard, and there are plenty of cases where it’s likely to trip up and give an invalid result.