Hi,
KLEE has no support at the moment for memory leak detection. There is
an opened issue about this at https://github.com/klee/klee/issues/1409,
which I see you have found.
Best,
Cristian
On 02/06/2024 08:58, 尹麓鸣 wrote:
Dear KLEE developers,
Hello! I'm interested in using KLEE to detect memory leak defects in my
program. I came across an email from 2020 where you mentioned that it's
possible to implement memory leak detection by extending KLEE. Could you
please confirm if the current version of KLEE supports memory leak
detection in programs? Alternatively, are there any papers that extend
KLEE to implement memory leak detection?If I want to implement memory
leak detection on KLEE, which files in the engine should I focus
on?"Thank you for taking the time to read my question. I look forward to
your response!
Thank you!
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
