On 03/05/2021 15:13, TU Haoxin wrote:
Dear all.
We are a team from Singapore Management University and we wrote a symbolic execution tool based on
KLEE recently. After running the Coreutils packages(the newest released version, 8.32), we found
some interesting issues(most are reported as "dete
That one's not a real bug. 'install' is exiting, rather than calling
'free' a couple of times just before exiting; calling 'free' would
simply chew up runtime resources for no reason other than to pacify
AddressSanitizer. So I'll close this particular bug report.
Most memory leaks found by Add
Dear all.
We are a team from Singapore Management University and we wrote a symbolic
execution tool based on KLEE recently. After running the Coreutils packages(the
newest released version, 8.32), we found some interesting issues(most are
reported as "detected memory leaks" and one is reported
