cargo / creusot-std / 0.14.0
Artifact
- libcreusot_std.rlibfile · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Sensitive data access and transfer | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Data flow analysis | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ▲ Build-time dependency advisories | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| ✓ Dependency and toolchain versions | — |
| Pipeline | |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 9.4K flows.
Network
0 peerscargo fetched 3,522 files from static.crates.io
Dependencies
57 packages, 4 with a build script that ran, 2 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| wit-bindgen | 0.51.0 | observed | build script, not runprebuilt objects | |
| wit-bindgen | 0.57.1 | observed | build script, not runprebuilt objects | |
| anyhow | 1.0.102 | observed | build script, not run | |
| creusot-std-proc direct | 0.14.0 | observed | proc macro | |
| getrandom | 0.4.2 | observed | build script | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.185 | observed | build script | |
| libc.so.6 | linked | system library | ||
| libgcc_s.so.1 | linked | system library | ||
| libm.so.6 | linked | system library | ||
| libmvec.so.1 | linked | system library | ||
| prettyplease | 0.2.37 | observed | build script, not run | |
| proc-macro2 | 1.0.106 | observed | build script | |
| quote | 1.0.45 | observed | build script | |
| rustversion | 1.0.22 | observed | build script, not runproc macro | |
| serde | 1.0.228 | observed | build script, not run | |
| serde_core | 1.0.228 | observed | build script, not run | |
| serde_derive | 1.0.228 | observed | proc macro | |
| serde_json | 1.0.151 | observed | build script, not run | |
| wasm-bindgen | 0.2.118 | observed | build script, not run | |
| wasm-bindgen-macro | 0.2.118 | observed | proc macro | |
| wasm-bindgen-shared | 0.2.118 | observed | build script, not run | |
| wit-bindgen-rust | 0.51.0 | observed | build script, not run | |
| wit-bindgen-rust-macro | 0.51.0 | observed | build script, not runproc macro | |
| zmij | 1.0.21 | observed | build script, not run | |
| bitflags | 2.11.1 | observed | ||
| bumpalo | 3.20.2 | observed | ||
| cfg-if | 1.0.4 | observed | ||
| equivalent | 1.0.2 | observed | ||
| foldhash | 0.1.5 | observed | ||
| hashbrown | 0.15.5 | observed | ||
| hashbrown | 0.17.0 | observed | ||
| heck | 0.5.0 | observed | ||
| id-arena | 2.3.0 | observed | ||
| indexmap | 2.14.0 | observed | ||
| itoa | 1.0.18 | observed | ||
| js-sys | 0.3.95 | observed | ||
| leb128fmt | 0.1.0 | observed | ||
| log | 0.4.29 | observed | ||
| memchr | 2.8.0 | observed | ||
| once_cell | 1.21.4 | observed | ||
| pearlite-syn | 0.14.0 | observed | ||
| r-efi | 6.0.0 | observed | ||
| semver | 1.0.28 | observed | ||
| syn | 2.0.117 | observed | ||
| unicode-ident | 1.0.24 | observed | ||
| unicode-xid | 0.2.6 | observed | ||
| uuid | 1.23.1 | observed | ||
| wasip2 | 1.0.3+wasi-0.2.9 | observed | ||
| wasip3 | 0.4.0+wasi-0.3.0-rc-2026-01-06 | observed | ||
| wasm-bindgen-macro-support | 0.2.118 | observed | ||
| wasm-encoder | 0.244.0 | observed | ||
| wasm-metadata | 0.244.0 | observed | ||
| wasmparser | 0.244.0 | observed | ||
| wit-bindgen-core | 0.51.0 | observed | ||
| wit-component | 0.244.0 | observed | ||
| wit-parser | 0.244.0 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-12 · run 12f25265-ef48-4386-95fd-c2124af1235d
analysis 0.1.0 · 2026-10-11 · d6246d3 · graph v2