cargo / verifpal
verifpal 1.6.4
- processes
- 326
- operations
- 31K
- packages
- 111
- compiler runs
- 577
- connections
- 2
- job time
- 8m 16s
- capture
- 368 KB
- records
- 57K
- bytes / record
- 6.5
Verifpal - cryptographic protocol analysis
Build behaviournot recorded for this run
Release 1.6.4 run 62658b5d-3057-4d9e-b78b-c298a99e4ed8 · built 2026-10-07
Artifact
- libverifpal.rlibfile · retained · product
- libverifpal.sofile · retained · product
- verifpalbinary · 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 31K flows.
Network
2 peers-
allowedstatic.crates.io:8080
-
allowedstatic.rust-lang.org:443 Fastly, Inc.
Dependencies
114 packages, 0 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| android_system_properties | 0.1.6 | platform_gated | ||
| anstream | 1.0.0 | linked | ||
| anstyle | 1.0.14 | linked | ||
| anstyle-parse | 1.0.0 | linked | ||
| anstyle-query | 1.1.5 | linked | ||
| anstyle-wincon | 3.0.11 | platform_gated | ||
| autocfg | 1.5.1 | buildtime_only | ||
| base64 | 0.23.1 | linked | ||
| bitflags | 1.3.2 | linked | ||
| bitflags | 2.13.2 | linked | ||
| bumpalo | 3.20.3 | buildtime_only | ||
| bytes | 1.12.1 | linked | ||
| cc | 1.6.0 | linked | ||
| cfg-if | 1.0.5 | linked | ||
| chrono direct | 0.4.45 | linked | ||
| clap direct | 4.6.7 | linked | ||
| clap_builder | 4.6.7 | linked | ||
| clap_complete direct | 4.6.11 | linked | ||
| clap_derive | 4.6.7 | linked | ||
| clap_lex | 1.1.1 | linked | ||
| clap_mangen direct | 0.3.3 | linked | ||
| colorchoice | 1.0.5 | linked | ||
| colored direct | 3.1.1 | linked | ||
| core-foundation-sys | 0.8.7 | platform_gated | ||
| crossbeam-channel direct | 0.5.17 | linked | ||
| crossbeam-deque | 0.8.8 | linked | ||
| crossbeam-epoch | 0.9.21 | linked | ||
| crossbeam-utils | 0.8.23 | linked | ||
| either | 1.19.0 | linked | ||
| errno | 0.3.14 | platform_gated | ||
| find-msvc-tools | 0.1.14 | linked | ||
| fluent-uri | 0.1.4 | linked | ||
| futures-core | 0.3.34 | platform_gated | ||
| futures-task | 0.3.34 | platform_gated | ||
| futures-util | 0.3.34 | platform_gated | ||
| getrandom | 0.2.17 | linked | ||
| heck | 0.5.0 | linked | ||
| http | 1.5.0 | linked | ||
| httparse | 1.10.1 | linked | ||
| iana-time-zone | 0.1.65 | linked | ||
| iana-time-zone-haiku | 0.1.2 | platform_gated | ||
| is_terminal_polyfill | 1.70.2 | linked | ||
| itoa | 1.0.18 | linked | ||
| js-sys | 0.3.106 | platform_gated | ||
| ld-linux-x86-64.so.2 | linked | |||
| libc | 0.2.190 | linked | ||
| libc.so.6 | linked | |||
| libgcc_s.so.1 | linked | |||
| libm.so.6 | linked | |||
| libmvec.so.1 | linked | |||
| linux-raw-sys | 0.12.1 | linked | ||
| log | 0.4.34 | linked | ||
| lsp-server direct | 0.10.0 | linked | ||
| lsp-types direct | 0.97.0 | linked | ||
| memchr | 2.8.3 | linked | ||
| num-traits | 0.2.19 | linked | ||
| once_cell_polyfill | 1.70.2 | platform_gated | ||
| percent-encoding | 2.3.2 | linked | ||
| pin-project-lite | 0.2.17 | platform_gated | ||
| proc-macro2 | 1.0.107 | linked | ||
| quote | 1.0.47 | linked | ||
| rayon direct | 1.12.0 | linked | ||
| rayon-core | 1.13.0 | linked | ||
| ring | 0.17.14 | linked | ||
| roff | 1.1.1 | linked | ||
| rustix | 1.1.5 | linked | ||
| rustls | 0.23.45 | linked | ||
| rustls-pki-types | 1.15.1 | linked | ||
| rustls-webpki | 0.103.15 | linked | ||
| rustversion | 1.0.23 | buildtime_only | ||
| serde direct | 1.0.229 | linked | ||
| serde_core | 1.0.229 | linked | ||
| serde_derive | 1.0.229 | linked | ||
| serde_json direct | 1.0.151 | linked | ||
| serde_repr | 0.1.21 | linked | ||
| shlex | 2.0.1 | linked | ||
| slab | 0.4.12 | platform_gated | ||
| strsim | 0.11.1 | linked | ||
| subtle | 2.6.1 | linked | ||
| syn | 2.0.119 | buildtime_only | ||
| syn | 3.0.6 | linked | ||
| terminal_size | 0.4.4 | linked | ||
| unicode-ident | 1.0.26 | linked | ||
| untrusted | 0.9.0 | linked | ||
| ureq direct | 3.4.2 | linked | ||
| ureq-proto | 0.6.4 | linked | ||
| utf8-zero | 0.8.1 | linked | ||
| utf8parse | 0.2.2 | linked | ||
| wasi | 0.11.1+wasi-snapshot-preview1 | platform_gated | ||
| wasm-bindgen | 0.2.129 | platform_gated | ||
| wasm-bindgen-macro | 0.2.129 | buildtime_only | ||
| wasm-bindgen-macro-support | 0.2.129 | buildtime_only | ||
| wasm-bindgen-shared | 0.2.129 | platform_gated | ||
| webpki-roots | 1.0.9 | linked | ||
| windows-core | 0.62.2 | platform_gated | ||
| windows-implement | 0.60.2 | buildtime_only | ||
| windows-interface | 0.59.3 | buildtime_only | ||
| windows-link | 0.2.1 | platform_gated | ||
| windows-result | 0.4.1 | platform_gated | ||
| windows-strings | 0.5.1 | platform_gated | ||
| windows-targets | 0.52.6 | platform_gated | ||
| windows_aarch64_gnullvm | 0.52.6 | platform_gated | ||
| windows_aarch64_msvc | 0.52.6 | platform_gated | ||
| windows_i686_gnu | 0.52.6 | platform_gated | ||
| windows_i686_gnullvm | 0.52.6 | platform_gated | ||
| windows_i686_msvc | 0.52.6 | platform_gated | ||
| windows_x86_64_gnu | 0.52.6 | platform_gated | ||
| windows_x86_64_gnullvm | 0.52.6 | platform_gated | ||
| windows_x86_64_msvc | 0.52.6 | platform_gated | ||
| zeroize | 1.9.1 | linked | ||
| zmij | 1.0.23 | linked | ||
| once_cell | 1.21.4 | dead | ||
| windows-sys | 0.52.0 | unverified | ||
| windows-sys | 0.61.2 | unverified |
1 of 1 jobs captured: build-test success · Generated 2026-10-07 · tarp 0.1.0+20261007022833-g16cc1581f632 · run 62658b5d-3057-4d9e-b78b-c298a99e4ed8