0.31.0 (older version)
From google/supply-chain copy of google/rust-crate-audits. By Manish Goregaokar.
These reviews are from cargo-vet. To add your review, set up cargo-vet
and submit your URL to its registry.
The current version of gimli is 0.31.1.
0.31.0 (older version)
From google/supply-chain copy of google/rust-crate-audits. By Manish Goregaokar.
0.31.0 — diff review from 0.29.0 only (older version)
From bytecodealliance/wasmtime. By Alex Crichton.
Various updates here and there, nothing too major, what you'd expect from a DWARF parsing crate.
0.30.0 — diff review from 0.28.0 only (older version)
From google/supply-chain copy of chromium. Audited without comment by Hidenori Kobayashi.
0.30.0 (older version)
From mozilla/supply-chain copy of hg. By Alex Franchuk.
Unsafe code blocks are sound. Minimal dependencies used. No use of side-effectful std functions.
0.28.1 (older version)
From kornelski/crev-proofs copy of git.savannah.gnu.org.
Packaged for Guix (crates-io)
0.28.1 (older version)
From kornelski/crev-proofs copy of salsa.debian.org.
Only in debcargo (unstable). Changelog:
0.28.0 — diff review from 0.27.3 only (older version)
From google/supply-chain copy of chromium. Audited without comment by George Burgess IV.
0.27.3 — diff review from 0.27.2 only (older version)
From zcash/rust-ecosystem copy of zcash/zcash. Audited without comment by str4d.
0.27.2 — diff review from 0.27.0 only (older version)
From zcash/rust-ecosystem copy of zcash/zcash. Audited without comment by Jack Grigg.
cargo-vet does not verify reviewers' identity. You have to fully trust the source the audits are from.
This crate will not introduce a serious security vulnerability to production software exposed to untrusted input. More…
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.
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
These reviews are from Crev, a distributed system for code reviews. To add your review, set up cargo-crev
.
The current version of gimli is 0.31.1.
0.28.1 (older version) Thoroughness: Low Understanding: Medium
by weiznich on 2024-02-29
Review update from 0.28.0 to 0.28.1
0.15.0 (older version) Thoroughness: Low Understanding: Medium
by MaulingMonkey on 2019-07-28
Looks nice and solid. Well documented, well tested, code coverage, safe + sound. Large crate - so I haven't taken the time to thoroughly audit everything - but I have at least skimmed over all code. I've written some of my own partial DWARF parser in C++ in the past... parts look appropriately familiar.
File | Rating | Notes |
---|---|---|
benches/bench.rs | +1 | fs |
examples/dwarfdump.rs | +1 | fs |
fixtures/self/* | unreviewed binary data (used in test fixtures, probably OK) | |
fixtures/self/README.md | +1 | |
releases/friends.sh | +1 | |
releases/release-announcement-template.md | +1 | |
src/abbrev.rs | +1 | |
src/aranges.rs | +1 | |
src/cfi.rs | +1 | |
src/constants.rs | +1 | |
src/endianity.rs | +1 | |
src/leb128.rs | +1 | |
src/lib.rs | +1 | |
src/line.rs | +1 | |
src/loc.rs | +1 | |
src/lookup.rs | +1 | |
src/op.rs | +1 | |
src/parser.rs | +1 | |
src/pubnames.rs | +1 | |
src/pubtypes.rs | +1 | |
src/ranges.rs | +1 | |
src/reader.rs | +1 | |
src/str.rs | +1 | |
src/test_util.rs | +1 | |
src/unit.rs | +1 | |
tests/parse_self.rs | +1 | |
.cargo-ok | +1 | |
.gitignore | +1 | |
.travis.yml | 0 | I haven't reviewed travis-cargo |
Cargo.toml | +1 | |
Cargo.toml.orig | +1 | |
CONTRIBUTING.md | +1 | |
coverage | +1 | |
format | +1 | |
LICENSE-APACHE | +1 | |
LICENSE-MIT | +1 | |
README.md | +1 | |
rustfmt.toml | +1 |
Other | Rating | Notes |
---|---|---|
unsafe | +1 | Single match unsafe { memmap::Mmap::map(&file) } |
fs | +1 | Safe, only used in benches/examples/tests |
io | +1 | Some io::{stderr, Error, Write} - all sane |
docs | +1 | Lots of 'em! |
tests | +1 | Lots of 'em! |
travis-cargo
Lib.rs has been able to verify that all files in the crate's tarball are in the crate's repository with a git tag matching the version. 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 gimli
. Alternatively, you can download the tarball of gimli v0.31.1 or view the source online.
Reviewed in CL 675488712 Could have better documented invariants.