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

Marek Chalupa mchqwerty at gmail.com
Mon Jun 3 12:08:02 BST 2024


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 尹麓鸣 <531490174 at qq.com> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list