On Feb 11 10:50, Alexey Lapshin wrote: > Hi, interesting finding, > > Are not all these found "underflows" issues false-positive? > Because all of them are under `while(!TOO_SMALL_LITTLE_BLOCK(len))` block > which guarantees no underflow of "len" variable Yeah, looks like false positives to me, too. Corinna