Skip to content

fix use-after-free soundness issues#8

Merged
ethanpailes merged 1 commit into
masterfrom
fix-lifetime-soundness
Apr 24, 2026
Merged

fix use-after-free soundness issues#8
ethanpailes merged 1 commit into
masterfrom
fix-lifetime-soundness

Conversation

@ethanpailes
Copy link
Copy Markdown
Contributor

This patch fixes some use-after-free soundness issues that are due to the way that Master and Slave are cloneable. Fortunately, I think the API also not being correctly RAII meant that this wasn't causing crashes (though only because we were leaking resources).

I'm beginning to think it was a mistake to use the pty crate.

This is a breaking change so I'll need to bump the minor version.

This patch fixes some use-after-free soundness issues that are
due to the way that Master and Slave are cloneable. Fortunately,
I think the API also not being correctly RAII meant that this
wasn't causing crashes (though only because we were leaking
resources).

I'm beginning to think it was a mistake to use the pty crate.

This is a breaking change so I'll need to bump the minor version.
@ethanpailes ethanpailes force-pushed the fix-lifetime-soundness branch from 6212c23 to cd578f7 Compare April 24, 2026 21:15
@ethanpailes ethanpailes merged commit ae3f61c into master Apr 24, 2026
6 checks passed
@ethanpailes ethanpailes deleted the fix-lifetime-soundness branch April 24, 2026 21:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant