On 2023-08-13 02:32, Haoxin Tu wrote:
We have developed a new tool built on top of KLEE (http://klee.github.io/)
to
automatically test GNU Coreutils-9.0 and found there might be a possible
null pointer
dereference
Thanks, but this bug was fixed in coreutils 9.2 (2023-03-20), due to
this patch:
https://git.savannah.gnu.org/cgit/gnulib.git/commit/?id=f17d397771164c1b0f77fea8fb0abdc99cf4a3e1
I suggest using your tool on the latest release, coreutils 9.3. Or even
better you can test the coreutils bleeding edge, by executing these
shell commands, as described in the README-hacking file:
git clone https://git.savannah.gnu.org/git/coreutils.git
cd coreutils
./bootstrap
./configure
make
