# aeneas 20260713

A verification toolchain for Rust programs

Snapshot of gominimal/pkgs commit `673744d03aea823593e5a5ce18b9526d29f20040` (pushed 2026-10-12T19:03:44.000Z).

## Install

```sh
min add aeneas
```

## Direct advisories

None at this commit.

## Transitive advisories

12 advisories inherited through runtime dependencies:

- CVE-2026-90801 (LOW) via ocaml → toolchain → binutils
- CVE-2026-90802 (LOW) via ocaml → toolchain → binutils
- CVE-2026-90803 (LOW) via ocaml → toolchain → binutils
- CVE-2026-90804 (LOW) via ocaml → toolchain → binutils
- CVE-2026-90828 (LOW) via ocaml → toolchain → binutils
- CVE-2026-90829 (LOW) via ocaml → toolchain → binutils
- CVE-2026-90830 (LOW) via ocaml → toolchain → binutils
- CVE-2026-90831 (LOW) via ocaml → toolchain → binutils
- CVE-2026-91779 (LOW) via ocaml → toolchain → binutils
- CVE-2026-91780 (LOW) via ocaml → toolchain → binutils
- CVE-2026-91781 (LOW) via ocaml → toolchain → binutils
- CVE-2026-91782 (LOW) via ocaml → toolchain → binutils

## Dependencies

- Build (13): base, ocaml, dune, ocamlfind, charon-ml, ocamlgraph, ppx_deriving, ppx_deriving_yojson, visitors, ppxlib, menhir, zarith, toolchain
- Runtime (4): ocaml, zarith, charon-ml, charon

## OpenSSF Scorecard

Aggregate score: 4.7 / 10. Scored by Minimal using the OpenSSF Scorecard tool; OpenSSF does not scan this repository, so this is not a score OpenSSF published. Repository scored: AeneasVerif/aeneas. Scanned 2026-10-05.

Checks, scored 0-10 as the Scorecard tool reports them (N/A: not applicable or inconclusive):

| Check | Score | Reason |
| --- | --- | --- |
| [Binary-Artifacts](https://minimal.dev/docs/reference/scorecard#check-binary-artifacts) | 10 | No binaries found in the repo |
| [Branch-Protection](https://minimal.dev/docs/reference/scorecard#check-branch-protection) | N/A | Could not be evaluated |
| [CI-Tests](https://minimal.dev/docs/reference/scorecard#check-ci-tests) | 10 | 23 out of 23 merged PRs checked by a CI test -- score normalized to 10 |
| [CII-Best-Practices](https://minimal.dev/docs/reference/scorecard#check-cii-best-practices) | 0 | No effort to earn an OpenSSF best practices badge detected |
| [Code-Review](https://minimal.dev/docs/reference/scorecard#check-code-review) | 5 | Found 12/23 approved changesets -- score normalized to 5 |
| [Contributors](https://minimal.dev/docs/reference/scorecard#check-contributors) | 10 | Project has 17 contributing companies or organizations |
| [Dangerous-Workflow](https://minimal.dev/docs/reference/scorecard#check-dangerous-workflow) | 10 | No dangerous workflow patterns detected |
| [Dependency-Update-Tool](https://minimal.dev/docs/reference/scorecard#check-dependency-update-tool) | 0 | No update tool detected |
| [Fuzzing](https://minimal.dev/docs/reference/scorecard#check-fuzzing) | 0 | Project is not fuzzed |
| [License](https://minimal.dev/docs/reference/scorecard#check-license) | 10 | License file detected |
| [Maintained](https://minimal.dev/docs/reference/scorecard#check-maintained) | 10 | 30 commit(s) and 7 issue activity found in the last 90 days -- score normalized to 10 |
| [Packaging](https://minimal.dev/docs/reference/scorecard#check-packaging) | N/A | Packaging workflow not detected |
| [Pinned-Dependencies](https://minimal.dev/docs/reference/scorecard#check-pinned-dependencies) | 0 | Dependency not pinned by hash detected -- score normalized to 0 |
| [SAST](https://minimal.dev/docs/reference/scorecard#check-sast) | 0 | SAST tool is not run on all commits -- score normalized to 0 |
| [Security-Policy](https://minimal.dev/docs/reference/scorecard#check-security-policy) | 0 | Security policy file not detected |
| [Signed-Releases](https://minimal.dev/docs/reference/scorecard#check-signed-releases) | 0 | Project has not signed or included provenance with any releases. |
| [Token-Permissions](https://minimal.dev/docs/reference/scorecard#check-token-permissions) | 0 | Detected GitHub workflow tokens with excessive permissions |
| [Vulnerabilities](https://minimal.dev/docs/reference/scorecard#check-vulnerabilities) | 10 | 0 existing vulnerabilities detected |

## Links

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