[lwip-devel] [bug #36492] Static Analysis on code 1.4.0

[Simon Goldschmidt]

Follow-up Comment #8, bug #36492 (project lwip):

> NPD.CHECK.CALL.MUST : Pointer 'prev' checked for NULL at line 166 will
> be passed to function and may be dereferenced there by passing
> argument 2 to function 'ip_reass_dequeue_datagram' at line 203. :
> /home/g133009/px100/Code/lwip/src/core/ipv4/ip_frag.c : 203 :
> Critical : Analyze

And that's another problem of the static analyzer: LWIP_ASSERT is used in
function 'ip_reass_dequeue_datagram' to ensure the pointer is not null (as in
this case, the condition 'reassdatagrams == ipr' whold be true). I guess you
did not make LWIP_ASSERT correctly known as assert function to your static
analysis tool (however that may work).

    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/bugs/?36492>

_______________________________________________
  Nachricht gesendet von/durch Savannah
  http://savannah.nongnu.org/