Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable a path-sensitive memory leak analysis in autoTune for small programs #1214

Closed
mrstanb opened this issue Oct 11, 2023 · 1 comment · Fixed by #1234
Closed

Enable a path-sensitive memory leak analysis in autoTune for small programs #1214

mrstanb opened this issue Oct 11, 2023 · 1 comment · Fixed by #1234

Comments

@mrstanb
Copy link
Member

mrstanb commented Oct 11, 2023

It'd be a nice option to be able to run the memLeak analysis with path-sensitivity in case we're dealing with small programs, since it wouldn't incur a large performance overhead, but it would improve precision in case we have to deal with a failing call to malloc, calloc, realloc and the like.

@michael-schwarz
Copy link
Member

Yes, failing calls and (for Juliet in SV-COMP probably even more relevant), calls that only happen conditionally.

@michael-schwarz michael-schwarz added this to the SV-COMP 2024 milestone Nov 1, 2023
sim642 added a commit to sim642/opam-repository that referenced this issue Nov 24, 2023
nberth pushed a commit to nberth/opam-repository that referenced this issue Jun 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants