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

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev