cargo / graphwalker-model-checker
graphwalker-model-checker 1.0.4
- processes
- 502
- operations
- 14K
- packages
- 67
- compiler runs
- 44
- connections
- 1
- job time
- 56s
- capture
- 178 KB
- records
- 25K
- bytes / record
- 7.1
Model validation and checking for GraphWalker model-based testing
Build behaviourcompiled and nothing more
Release 1.0.4 run 978f58b8-354b-41ec-a19d-17ffcd6a3280 · built 2026-10-09
Artifact
- libgraphwalker_model_checker.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 14K flows.
Network
0 peerscargo fetched 3,590 files from static.crates.io
Dependencies
71 packages, 16 with a build script that ran, 1 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| wit-bindgen | 0.57.1 | observed | build script, not runprebuilt objects | |
| ahash | 0.8.12 | observed | build script | |
| const-random-macro | 0.1.16 | observed | proc macro | |
| crunchy | 0.2.4 | observed | build script | |
| getrandom | 0.3.4 | observed | build script | |
| getrandom | 0.4.3 | observed | build script | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.190 | 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 | ||
| num-traits | 0.2.19 | observed | build script | |
| portable-atomic | 1.15.0 | observed | build script | |
| proc-macro2 | 1.0.107 | observed | build script | |
| quote | 1.0.47 | observed | build script | |
| rhai_codegen | 3.2.0 | observed | proc macro | |
| rustversion | 1.0.23 | observed | build script, not runproc macro | |
| serde | 1.0.229 | observed | build script | |
| serde_core | 1.0.229 | observed | build script | |
| serde_derive | 1.0.229 | observed | proc macro | |
| serde_json | 1.0.151 | observed | build script | |
| smartstring | 1.0.1 | observed | build script | |
| tiny-keccak | 2.0.2 | observed | build script | |
| tracing-attributes | 0.1.31 | observed | proc macro | |
| wasm-bindgen | 0.2.129 | observed | build script, not run | |
| wasm-bindgen-macro | 0.2.129 | observed | proc macro | |
| wasm-bindgen-shared | 0.2.129 | observed | build script, not run | |
| zerocopy | 0.8.61 | observed | build script | |
| zerocopy-derive | 0.8.61 | observed | proc macro | |
| zmij | 1.0.23 | observed | build script | |
| autocfg | 1.5.1 | observed | ||
| bitflags | 2.13.2 | observed | ||
| bumpalo | 3.20.3 | observed | ||
| cfg-if | 1.0.5 | observed | ||
| chacha20 | 0.10.2 | observed | ||
| const-random | 0.1.18 | observed | ||
| cpufeatures | 0.3.1 | observed | ||
| futures-core | 0.3.34 | observed | ||
| futures-task | 0.3.34 | observed | ||
| futures-util | 0.3.34 | observed | ||
| getrandom | 0.2.17 | observed | ||
| graphwalker-core direct | 1.0.4 | observed | ||
| graphwalker-dsl direct | 1.0.4 | observed | ||
| graphwalker-io direct | 1.0.4 | observed | ||
| itoa | 1.0.18 | observed | ||
| js-sys | 0.3.106 | observed | ||
| memchr | 2.8.3 | observed | ||
| once_cell | 1.21.4 | observed | ||
| pin-project-lite | 0.2.17 | observed | ||
| quick-xml | 0.42.0 | observed | ||
| r-efi | 5.3.0 | observed | ||
| r-efi | 6.0.0 | observed | ||
| rand | 0.10.3 | observed | ||
| rand_core | 0.10.1 | observed | ||
| rhai | 1.26.1 | observed | ||
| slab | 0.4.12 | observed | ||
| smallvec | 1.16.2 | observed | ||
| static_assertions | 1.1.0 | observed | ||
| syn | 2.0.119 | observed | ||
| syn | 3.0.6 | observed | ||
| thin-vec | 0.2.21 | observed | ||
| tracing direct | 0.1.44 | observed | ||
| tracing-core | 0.1.36 | observed | ||
| unicode-ident | 1.0.26 | observed | ||
| uuid | 1.27.0 | observed | ||
| version_check | 0.9.5 | observed | ||
| wasi | 0.11.1+wasi-snapshot-preview1 | observed | ||
| wasip2 | 1.0.4+wasi-0.2.12 | observed | ||
| wasm-bindgen-macro-support | 0.2.129 | observed | ||
| web-time | 1.1.0 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-09 · tarp 0.1.0+20261008175400-gc0b8b6ba8883 · run 978f58b8-354b-41ec-a19d-17ffcd6a3280