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

[Simon Goldschmidt]

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

> What tool are you using to produce these reports?

One of the Klocwork programs, from asking google...

> Neither 'port' nor 'naddr.addr' are directly initialized in the 
> function lwip_accept().
> 
> If functions called by lwip_accept() initialized the variables 
> it should be OK, but there is no guaranty.

And that's the problem with static analysis: this will *never* fail, as we do
know that netconn_peer() *always* initializes these variables if it returns
ERR_OK (and if it doesn't return ERR_OK, line 363 is not reached).

Nevertheless, I regard static analysis as input worth checking, so I'll have a
look at this, thanks for updating the report.

    _______________________________________________________

Reply to this item at:

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

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