Repository navigation
Account for frees in undefined functions - #2269
Closed
jprotopopov-ut wants to merge 4 commits into
Closed
jprotopopov-ut wants to merge 4 commits into
jprotopopov-ut wants to merge 4 commits into
Conversation
Track local storage whose function activation has ended and diagnose subsequent accesses through retained pointers. Cover automatic-storage lifetimes in regression tests. Assisted-by: Codex <noreply@openai.com>
A free through an unknown address may invalidate a named heap object, and an unknown access may reach an already invalid object. Preserve this evidence locally and across threads instead of ignoring the unknown target. Co-authored-by: Jevgenijs Protopopovs <jevgenijs.protopopovs@ut.ee> Assisted-by: Claude <noreply@anthropic.com> Assisted-by: Codex <noreply@openai.com>
Describe implicit standard-stream accesses, including fortified and unlocked entry points, fflush(NULL), and Darwin names. Model accesses to buffers held by streams and add portable regression coverage. Assisted-by: Claude <noreply@anthropic.com> Assisted-by: Codex <noreply@openai.com>
An unspecified function may free heap objects reachable through arguments, globals or previously retained addresses. Track those roots across calls and threads, including aggregate arguments and unknown-address stores. Co-authored-by: Jevgenijs Protopopovs <jevgenijs.protopopovs@ut.ee> Assisted-by: Claude <noreply@anthropic.com> Assisted-by: Codex <noreply@openai.com>
sim642
added
the
pr-dependency
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Addresses #2268, implementing accounting for frees in undefined functions, which produces warnings such as
lval ((alloc@sid:18@tid:[main])) points to a maybe freed memory region.The changeset is AI-generated, extracted from the effects implementation. No validation has been done beyond the reproducer from the linked issue.
Creating as a draft because of dependencies on other PRs; the draft includes some of the content from these PRs.