--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on August 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] accessing uninitialized left-value



Hello,


2018-08-12 9:37 GMT+02:00 谢文龙 <wlxie2000 at 163.com>:

> Hi
> I started to analysis the libmodbus from the open-source-case-study from
> git. There is a accessing uninitialized left-value warning for line 574 of
> src/modbus-tcp.c
> ai_hints.ai_flags |= AI_PASSIVE;
>
> And I define it as:
> #define AI_PASSIVE 0x0001
> or add -slevel 500
>

The problem is not AI_PASSIVE, but ai_hints.ai_flags. Remember that the
instruction is a shortcut to ai_hints.ai_flags = ai_hints.ai_flags |
AI_PASSIVE; if ai_hints.ai_flags has
not been initialized priori to this instruction, this is an issue. You
should check where ai_hints is declared and whether there is indeed a
possibility that its ai_flags field has not been initialized.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180813/44d320a7/attachment.html>