1.1.0 (current) Thoroughness: Low Understanding: Medium
Approved without comment by kornelski on 2021-01-06
This review is from Crev, a distributed system for code reviews. To add your review, set up cargo-crev
.
1.1.0 (current) Thoroughness: Low Understanding: Medium
Approved without comment by kornelski on 2021-01-06
These reviews are from cargo-vet. To add your review, set up cargo-vet
and submit your URL to its registry.
1.1.0 (current)
From google/supply-chain copy of chromium. Audited without comment by ChromeOS.
1.1.0 (current)
From google/supply-chain copy of chromium. By Lukasz Anforowicz.
1.1.0 (current)
From bytecodealliance/wasmtime. By Andrew Brown.
No dependencies and completely a compile-time crate as advertised. Uses unsafe
in one module as a compile-time check only: mem::transmute
and ptr::write
are wrapped in an impossible-to-run closure.
1.1.0 (current)
From kornelski/crev-proofs copy of git.savannah.gnu.org.
Packaged for Guix (crates-io)
cargo-vet does not verify reviewers' identity. You have to fully trust the source the audits are from.
This crate can be compiled, run, and tested on a local workstation or in controlled automation without surprising consequences. More…
Inspection reveals that the crate in question does not attempt to implement any cryptographic algorithms on its own.
Note that certification of this does not require an expert on all forms of cryptography: it's expected for crates we import to be "good enough" citizens, so they'll at least be forthcoming if they try to implement something cryptographic. When in doubt, please ask an expert.
All crypto algorithms in this crate have been reviewed by a relevant expert.
Note: If a crate does not implement crypto, use does-not-implement-crypto
,
which implies crypto-safe
, but does not require expert review in order to
audit for.
This crate will not introduce a serious security vulnerability to production software exposed to untrusted input. More…
Excellent soundness.
Full description of the audit criteria can be found at https://github.com/google/rust-crate-audits/blob/main/auditing_standards.md#ub-risk-1
Negligible unsoundness or average soundness.
Full description of the audit criteria can be found at https://github.com/google/rust-crate-audits/blob/main/auditing_standards.md#ub-risk-2
Mild unsoundness or suboptimal soundness.
Full description of the audit criteria can be found at https://github.com/google/rust-crate-audits/blob/main/auditing_standards.md#ub-risk-3
Extreme unsoundness.
Full description of the audit criteria can be found at https://github.com/google/rust-crate-audits/blob/main/auditing_standards.md#ub-risk-4
May have been packaged automatically without a review
Lib.rs has been able to verify that all files in the crate's tarball are in the crate's repository. Please note that this check is still in beta, and absence of this confirmation does not mean that the files don't match.
Crates in the crates.io registry are tarball snapshots uploaded by crates' publishers. The registry is not using crates' git repositories, so there is a possibility that published crates have a misleading repository URL, or contain different code from the code in the repository.
To review the actual code of the crate, it's best to use cargo crev open static_assertions
. Alternatively, you can download the tarball of static_assertions v1.1.0 or view the source online.
Grepped for
-i cipher
,-i crypto
,'fs'
,'net'
,'unsafe'
and there were no hits except for oneunsafe
.The lambda where
unsafe
is used is never invoked (e.g. theunsafe
code never runs) and is only introduced for some compile-time checks. Additional unsafe review comments can be found in https://crrev.com/c/5353376.This crate has been added to Chromium in https://crrev.com/c/3736562. The CL description contains a link to a document with an additional security review.