Hi, there are at least two forks of KLEE that I know about that implement memory leak detection:
https://github.com/mchalupa/bubaak-lee/tree/bubaak-0.9.2-dev https://github.com/staticafi/JetKlee/tree/svcomp24 They are not up-to-date with the mainstream of KLEE, but maybe they can still be useful for you. Best, Marek On Sun, Jun 2, 2024 at 9:59 AM 尹麓鸣 <[email protected]> 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
