coreutils
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Question about the function timespec_cmp in timespec.h


From: Pádraig Brady
Subject: Re: Question about the function timespec_cmp in timespec.h
Date: Tue, 09 Dec 2014 09:00:02 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0

On 09/12/14 01:50, Dingbao Xie wrote:
> Dear maintainer,
> I tried to test the latest version of coreutils with klee.
> klee reported  an integer overflow in function 
> timespec_cmp (located in file timespec.h)  
> when a.tv_sec=0, b.tv_sec=0, a.tv_nsec=0, b.tv_nsec=LONG_MIN.
> 
> But I failed to reproduce it with the test case produced by klee.
> Is it possible to trigger such overflow?

The tv_nsec values are constrained to values such that
the subtraction can not overflow. Details are in the
comment above that function.

thanks,
Pádraig.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]