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

[Frama-c-discuss] Frama-c-discuss Digest, Vol 122, Issue 3




Hi, that's right and it worked, thanks









At 2018-08-13 18:00:08, frama-c-discuss-request at lists.gforge.inria.fr wrote:
>Send Frama-c-discuss mailing list submissions to
>	frama-c-discuss at lists.gforge.inria.fr
>
>To subscribe or unsubscribe via the World Wide Web, visit
>	https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
>or, via email, send a message with subject or body 'help' to
>	frama-c-discuss-request at lists.gforge.inria.fr
>
>You can reach the person managing the list at
>	frama-c-discuss-owner at lists.gforge.inria.fr
>
>When replying, please edit your Subject line so it is more specific
>than "Re: Contents of Frama-c-discuss digest..."
>
>
>Today's Topics:
>
>   1. Re: accessing uninitialized left-value (Virgile Prevosto)
>
>
>----------------------------------------------------------------------
>
>Message: 1
>Date: Mon, 13 Aug 2018 10:25:05 +0200
>From: Virgile Prevosto <virgile.prevosto at m4x.org>
>To: Frama-C public discussion <frama-c-discuss at lists.gforge.inria.fr>
>Subject: Re: [Frama-c-discuss] accessing uninitialized left-value
>Message-ID:
>	<CA+yPOVgHt_C2=Jgwo2=KUsDMEou4Uux0O1aRSs=kF3eP+OsoaQ at mail.gmail.com>
>Content-Type: text/plain; charset="utf-8"
>
>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
>-------------- next part --------------
>An HTML attachment was scrubbed...
>URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180813/44d320a7/attachment-0001.html>
>
>------------------------------
>
>Subject: Digest Footer
>
>_______________________________________________
>Frama-c-discuss mailing list
>Frama-c-discuss at lists.gforge.inria.fr
>https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
>
>------------------------------
>
>End of Frama-c-discuss Digest, Vol 122, Issue 3
>***********************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180813/e541a6a6/attachment.html>