cargo / cordis-verus
cordis-verus 0.1.0
clean- processes
- 270
- operations
- 18K
- packages
- 52
- compiler runs
- 27
- connections
- 1
- job time
- 1m 30s
- capture
- 223 KB
- records
- 33K
- bytes / record
- 6.7
Typed Rust Cordis runtime backed by a verified lifecycle kernel
Artifact
- libcordis.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 18K flows.
Network
0 peerscargo fetched 4,388 files from static.crates.io
Dependencies
56 packages, 8 with a build script that ran, 8 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| windows_aarch64_gnullvm | 0.52.6 | observed | build script, not runprebuilt objects | |
| windows_aarch64_msvc | 0.52.6 | observed | build script, not runprebuilt objects | |
| windows_i686_gnu | 0.52.6 | observed | build script, not runprebuilt objects | |
| windows_i686_gnullvm | 0.52.6 | observed | build script, not runprebuilt objects | |
| windows_i686_msvc | 0.52.6 | observed | build script, not runprebuilt objects | |
| windows_x86_64_gnu | 0.52.6 | observed | build script, not runprebuilt objects | |
| windows_x86_64_gnullvm | 0.52.6 | observed | build script, not runprebuilt objects | |
| windows_x86_64_msvc | 0.52.6 | observed | build script, not runprebuilt objects | |
| getrandom | 0.4.3 | observed | build script, not run | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.190 | observed | build script, not run | |
| 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 | ||
| proc-macro2 | 1.0.107 | observed | build script | |
| quote | 1.0.47 | observed | build script | |
| rustix | 0.38.44 | observed | build script, not run | |
| rustix | 1.1.5 | observed | build script, not run | |
| serde direct | 1.0.228 | observed | build script | |
| serde_core | 1.0.228 | observed | build script | |
| serde_derive | 1.0.228 | observed | proc macro | |
| serde_json direct | 1.0.149 | observed | build script | |
| verus_builtin_macros | 0.0.0-2026-09-20-0158 | observed | proc macro | |
| verus_prettyplease | 0.0.0-2026-09-06-0133 | observed | build script | |
| verus_state_machines_macros | 0.0.0-2026-09-06-0133 | observed | proc macro | |
| vstd | 0.0.0-2026-09-20-0158 | observed | build script | |
| zmij | 1.0.19 | observed | build script | |
| atomicwrites direct | 0.4.4 | observed | ||
| bitflags | 2.13.2 | observed | ||
| cfg-if | 1.0.5 | observed | ||
| convert_case | 0.4.0 | observed | ||
| cordis-driver direct | 0.1.0 | observed | ||
| cordis-kernel direct | 0.1.0 | observed | ||
| equivalent | 1.0.2 | observed | ||
| errno | 0.3.14 | observed | ||
| fastrand | 2.5.0 | observed | ||
| hashbrown | 0.17.1 | observed | ||
| indexmap | 2.14.2 | observed | ||
| itoa | 1.0.17 | observed | ||
| linux-raw-sys | 0.12.1 | observed | ||
| linux-raw-sys | 0.4.15 | observed | ||
| memchr | 2.8.1 | observed | ||
| once_cell | 1.21.4 | observed | ||
| r-efi | 6.0.0 | observed | ||
| syn | 2.0.119 | observed | ||
| synstructure | 0.13.2 | observed | ||
| tempfile | 3.27.0 | observed | ||
| unicode-ident | 1.0.26 | observed | ||
| verus_builtin | 0.0.0-2026-09-16-0054 | observed | ||
| verus_syn | 0.0.0-2026-09-06-0133 | observed | ||
| windows-link | 0.2.1 | observed | ||
| windows-sys | 0.52.0 | observed | ||
| windows-sys | 0.59.0 | observed | ||
| windows-sys | 0.61.2 | observed | ||
| windows-targets | 0.52.6 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-11 · run 7b7d48d3-bbb6-4a7c-b32e-1000a6181973
analysis 0.1.0 · 2026-10-10 · ce2b8d5 · graph v2