Skip to content

Remove af_alg_iv::as_slice (which is unsound) and modify trait implementations that depended on it. #1892

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

Closed
wants to merge 1 commit into from
Closed

Conversation

eduardosm
Copy link
Contributor

Fixes #1501.

This PR is an alternative to #1703. In this case, no trait implementation is removed.

@rust-highfive
Copy link

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @JohnTitor (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. Due to the way GitHub handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

@joshtriplett
Copy link
Member

I think it would be dangerous to ignore iv for things like equality checking. The rest seems fine, but that seems potentially dangerous to me. Two different structure values shouldn't compare equal if they aren't equal.

@eduardosm
Copy link
Contributor Author

af_alg_iv is defined as

#[repr(C)]
pub struct af_alg_iv {
    pub ivlen: u32,
    pub iv: [c_uchar; 0],
}

iv has length zero, so it does not contain any data that to compare. The current implementation reads up to ivlen bytes beyond the struct, but that allows to easily do out-of-bounds reads without unsafe. For example:

let a = af_alg_iv {
    ivlen: 100,
    iv: [],
};
let b = af_alg_iv {
    ivlen: 100,
    iv: [],
};

a == b // Undefined behavior without unsafe keyword

@joshtriplett
Copy link
Member

I realize that, but given that, I think we shouldn't implement PartialEq for this structure at all.

@eduardosm
Copy link
Contributor Author

Then its best to close this PR and continue with #1703.

@JohnTitor
Copy link
Member

Closing in favor of #1703.

@JohnTitor JohnTitor closed this Oct 15, 2020
@eduardosm eduardosm deleted the avoid-af_alg_iv-as_slice branch October 15, 2020 20:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

af_alg_iv::as_slice makes a slice of the struct data, but the fields are public.
4 participants