[Termtools] Some concerns about C/AProVE_memory_alloca examples

[Akihisa Yamada]

Dear C category participants and SC members,

Ton-Chanh kindly gave me a list of the benchmarks that has the
initialization problem. But unfortunately, the list was far bigger
than I expected (containing ca. 140 benchmarks) and I don't think
they can be corrected before the next competition.

Could you discuss for a feasible solution, e.g., would you ask
participants to accept uninitialized memory access (though it is
not standard-compliant)?

(In fact, some in the list don't seem to have the problem. But
  filtering them out also seems impossible.)

Best regards,
Akihisa

On 2015/07/23 4:56, Ton-Chanh Le wrote:
> Dear Akihisa,
>
> Please find the list of examples with uninitialized variables
> in the attached file.
>
> Best Regards,
>
> Le Ton Chanh
> Email: chanhle at comp.nus.edu.sg <http://comp.nus.edu.sg>

-- 
Akihisa Yamada, Ph.D.
Computational Logic Group, Institute of Computer Science,
University of Innsbruck
http://cl-informatik.uibk.ac.at/~ayamada/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Uninitialized variable files.xlsx
Type: application/vnd.openxmlformats-officedocument.spreadsheetml.sheet
Size: 13553 bytes
Desc: not available
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150723/bbb280df/attachment.xlsx>