coreutils
[Top][All Lists]
Advanced

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

Question about the function timespec_cmp in timespec.h


From: Dingbao Xie
Subject: Question about the function timespec_cmp in timespec.h
Date: Mon, 8 Dec 2014 17:50:47 -0800

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?

--
Dingbao Xie

reply via email to

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