cargo / prop-check-rs
prop-check-rs 0.0.1019
clean- processes
- 576
- operations
- 99K
- packages
- 116
- compiler runs
- 38
- connections
- 2
- job time
- 1m 11s
- capture
- 1.5 MB
- records
- 192K
- bytes / record
- 7.9
A Property-based testing Library in Rust
Artifact
- libprop_check_rs.rlibfile · retained · product
- prop-check-rsbinary · 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 99K flows.
Network
0 peerscargo fetched 10,461 files from static.crates.iorustup fetched 13 files from static.rust-lang.org
Dependencies
117 packages, 18 with a build script that ran, 2 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| winapi-i686-pc-windows-gnu | 0.4.0 | unrelated | build script, not runprebuilt objects | |
| winapi-x86_64-pc-windows-gnu | 0.4.0 | unrelated | build script, not runprebuilt objects | |
| alloca | 0.4.0 | unrelated | build script | |
| anyhow direct | 1.0.104 | linked | build script | |
| bigdecimal direct | 0.4.11 | linked | build script | |
| crossbeam-deque | 0.8.8 | unrelated | build script | |
| crossbeam-epoch | 0.9.21 | unrelated | build script | |
| crossbeam-utils | 0.8.23 | unrelated | build script | |
| crunchy | 0.2.4 | unrelated | build script, not run | |
| defmt | 1.1.1 | unrelated | build script, not run | |
| defmt-macros | 1.1.1 | unrelated | build script, not runproc macro | |
| getrandom | 0.4.3 | linked | build script | |
| jiff-static | 0.2.38 | unrelated | proc macro | |
| ld-linux-x86-64.so.2 | linked | system library | ||
| libc | 0.2.190 | linked | build script | |
| libc.so.6 | linked | system library | ||
| libgcc_s.so.1 | linked | system library | ||
| libm | 0.2.16 | linked | build script | |
| libm.so.6 | linked | system library | ||
| libmvec.so.1 | linked | system library | ||
| linktime-proc-macro | 0.1.0 | linked_undeclared | proc macro | |
| num-traits | 0.2.19 | linked | build script | |
| portable-atomic | 1.15.0 | unrelated | build script, not run | |
| portable-atomic-util | 0.2.8 | unrelated | build script, not run | |
| proc-macro2 | 1.0.107 | unrelated | build script | |
| quote | 1.0.47 | unrelated | build script | |
| rayon-core | 1.13.0 | unrelated | build script | |
| rustversion | 1.0.23 | unrelated | build script, not runproc macro | |
| serde | 1.0.229 | unrelated | build script | |
| serde_core | 1.0.229 | unrelated | build script | |
| serde_derive | 1.0.229 | unrelated | proc macro | |
| serde_json | 1.0.154 | unrelated | build script | |
| thiserror | 2.0.21 | unrelated | build script, not run | |
| thiserror-impl | 2.0.21 | unrelated | proc macro | |
| wasm-bindgen | 0.2.129 | unrelated | build script, not run | |
| wasm-bindgen-macro | 0.2.129 | unrelated | proc macro | |
| wasm-bindgen-shared | 0.2.129 | unrelated | build script, not run | |
| winapi | 0.3.9 | unrelated | build script, not run | |
| zerocopy | 0.8.62 | unrelated | build script | |
| zerocopy-derive | 0.8.62 | unrelated | proc macro | |
| zmij | 1.0.23 | unrelated | build script | |
| aho-corasick | 1.1.5 | linked_undeclared | ||
| anes | 0.1.6 | unrelated | ||
| anstream | 1.0.0 | linked_undeclared | ||
| anstyle | 1.0.14 | linked_undeclared | ||
| anstyle-parse | 1.0.0 | linked_undeclared | ||
| anstyle-query | 1.1.5 | linked_undeclared | ||
| anstyle-wincon | 3.0.11 | unrelated | ||
| autocfg | 1.5.1 | linked | ||
| bitflags | 1.3.2 | unrelated | ||
| bumpalo | 3.20.3 | unrelated | ||
| cast | 0.3.0 | unrelated | ||
| cc | 1.8.0 | unrelated | ||
| cfg-if | 1.0.5 | linked | ||
| chacha20 | 0.10.2 | linked | ||
| ciborium | 0.2.2 | unrelated | ||
| ciborium-io | 0.2.2 | unrelated | ||
| ciborium-ll | 0.2.2 | unrelated | ||
| clap | 4.6.7 | unrelated | ||
| clap_builder | 4.6.7 | unrelated | ||
| clap_lex | 1.1.1 | unrelated | ||
| colorchoice | 1.0.5 | linked_undeclared | ||
| cpufeatures | 0.3.1 | linked | ||
| criterion | 0.8.2 | unrelated | ||
| criterion-plot | 0.8.2 | unrelated | ||
| ctor | 0.12.0 | linked_undeclared | ||
| defmt-parser | 1.0.0 | unrelated | ||
| either | 1.19.0 | unrelated | ||
| env_filter | 2.0.0 | linked_undeclared | ||
| env_logger | 0.11.11 | linked_undeclared | ||
| find-msvc-tools | 0.1.14 | unrelated | ||
| futures-core | 0.3.34 | unrelated | ||
| futures-task | 0.3.34 | unrelated | ||
| futures-util | 0.3.34 | unrelated | ||
| half | 2.7.1 | unrelated | ||
| hermit-abi | 0.5.3 | platform_gated | ||
| is_terminal_polyfill | 1.70.2 | linked_undeclared | ||
| itertools | 0.13.0 | unrelated | ||
| itoa | 1.0.18 | unrelated | ||
| jiff | 0.2.38 | linked_undeclared | ||
| jiff-core | 0.1.1 | linked_undeclared | ||
| js-sys | 0.3.106 | unrelated | ||
| link-section | 0.12.0 | unrelated | ||
| log direct | 0.4.34 | linked | ||
| memchr | 2.8.3 | linked_undeclared | ||
| num-bigint | 0.4.8 | linked | ||
| num-integer | 0.1.47 | linked | ||
| num_cpus direct | 1.17.0 | linked | ||
| once_cell | 1.21.4 | unrelated | ||
| once_cell_polyfill | 1.70.2 | unrelated | ||
| oorandom | 11.1.5 | unrelated | ||
| page_size | 0.6.0 | unrelated | ||
| pin-project-lite | 0.2.17 | unrelated | ||
| plotters | 0.3.7 | unrelated | ||
| plotters-backend | 0.3.7 | unrelated | ||
| plotters-svg | 0.3.7 | unrelated | ||
| r-efi | 6.0.0 | platform_gated | ||
| rand direct | 0.10.3 | linked | ||
| rand_core | 0.10.1 | linked | ||
| rayon | 1.12.0 | unrelated | ||
| regex | 1.13.1 | linked_undeclared | ||
| regex-automata | 0.4.18 | linked_undeclared | ||
| regex-syntax | 0.8.11 | linked_undeclared | ||
| same-file | 1.0.6 | unrelated | ||
| shlex | 2.0.1 | unrelated | ||
| slab | 0.4.12 | unrelated | ||
| syn | 2.0.119 | unrelated | ||
| syn | 3.0.8 | unrelated | ||
| tinytemplate | 1.2.1 | unrelated | ||
| unicode-ident | 1.0.26 | unrelated | ||
| utf8parse | 0.2.2 | linked_undeclared | ||
| walkdir | 2.5.0 | unrelated | ||
| wasm-bindgen-macro-support | 0.2.129 | unrelated | ||
| web-sys | 0.3.106 | unrelated | ||
| winapi-util | 0.1.11 | unrelated | ||
| windows-link | 0.2.1 | unrelated | ||
| windows-sys | 0.61.2 | unrelated |
1 of 1 jobs captured: build-test success · Generated 2026-10-12 · run f56cbec0-b24d-456f-b642-4ae5d6cd0202
analysis 0.1.0 · 2026-10-11 · d6246d3 · graph v2