# charon 0.1.223

Analyze Rust crates without touching compiler internals

Snapshot of gominimal/pkgs commit `b6b72a039c265b2013b46262900f0c5094c0c8b7` (pushed 2026-07-15T21:53:56.000Z).

## Install

```sh
min add charon
```

## Direct advisories

None at this commit.

## Transitive advisories

8 advisories inherited through runtime dependencies:

- CVE-2013-4412 (HIGH) via glibc
- CVE-2026-4046 (HIGH) via glibc
- CVE-2026-4437 (HIGH) via glibc
- CVE-2026-4438 (MEDIUM) via glibc
- CVE-2026-5435 (HIGH) via glibc
- CVE-2026-5450 (CRITICAL) via glibc
- CVE-2026-5928 (HIGH) via glibc
- CVE-2026-6238 (MEDIUM) via glibc

## Dependencies

- Build (4): base, rust-nightly-charon, gcc, toolchain
- Runtime (3): rust-nightly-charon, glibc, zlib

## Links

- Homepage: https://aeneasverif.github.io/charon
- Package page (HTML): https://minimal.dev/pkgs/charon
- JSON API (floats latest): https://minimal.dev/api/pkgs/charon.json
- SBOM (CycloneDX 1.5): https://minimal.dev/api/pkgs/charon/sbom.json