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
