diff --git a/supply-chain/audits.toml b/supply-chain/audits.toml index 1aba85d7525e..470e09e94d4f 100644 --- a/supply-chain/audits.toml +++ b/supply-chain/audits.toml @@ -4777,6 +4777,24 @@ who = "Makoto Kato " criteria = "safe-to-deploy" version = "0.7.3" +[[audits.zerocopy]] +who = "Alex Franchuk " +criteria = "safe-to-deploy" +version = "0.7.32" +notes = """ +This crate is `no_std` so doesn't use any side-effectful std functions. It +contains quite a lot of `unsafe` code, however. I verified portions of this. It +also has a large, thorough test suite. The project claims to run tests with +Miri to have stronger soundness checks, and also claims to use formal +verification tools to prove correctness. +""" + +[[audits.zerocopy-derive]] +who = "Alex Franchuk " +criteria = "safe-to-deploy" +version = "0.7.32" +notes = "Clean, safe macros for zerocopy." + [[audits.zerofrom]] who = "Makoto Kato " criteria = "safe-to-deploy"