[klee-dev] Some questions regarding the use of KLEE to check for memory leak defects

[尹麓鸣]

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!
-------------- next part --------------
HTML attachment scrubbed and removed