I tried to experiment on the Static Analyzer and investigate how the false positive rate changes if we never assume that the body of a for-loop is executed 0 times. I came up with this solution but it still found the following bug: http://cc.elte.hu:15009/#run=23&report=5456
Diff Detail
Diff Detail
Event Timeline
Comment Actions
If we are to help with looking into this remaining bug, could you try to extract the info that's needed to reproduce it (eg. preprocessed file and analyzer run-line)?