From 68a4387f34973468db512341071eaf5d5f67f48a Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Sun, 17 Oct 2021 17:28:16 -0400 Subject: [PATCH] Report abomonation as unsound (#1079) --- crates/abomonation/RUSTSEC-0000-0000.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 crates/abomonation/RUSTSEC-0000-0000.md diff --git a/crates/abomonation/RUSTSEC-0000-0000.md b/crates/abomonation/RUSTSEC-0000-0000.md new file mode 100644 index 0000000..49afc8f --- /dev/null +++ b/crates/abomonation/RUSTSEC-0000-0000.md @@ -0,0 +1,19 @@ +```toml +[advisory] +id = "RUSTSEC-0000-0000" +package = "abomonation" +date = "2021-10-17" +url = "https://github.com/TimelyDataflow/abomonation/issues/23" +categories = [] +keywords = [] +informational = "unsound" + +[versions] +patched = [] +``` + +# abomonation transmutes &T to and from &[u8] without sufficient constraints + +This transmute is at the core of the abomonation crates. It's so easy to use it to violate alignment requirements that no test in the crate's test suite passes under miri. +The use of this transmute in serialization/deserialization also incorrectly assumes that the layout of a repr(Rust) type is stable. +This transmute can also disclose both the contents of padding bytes which may be an information leak and the contents of pointers, which may be used to defeat ASLR.