cargo / smtkit-smtlib
smtkit-smtlib 0.2.0
- processes
- 264
- operations
- 4.9K
- packages
- 13
- compiler runs
- 10
- connections
- 1
- job time
- 15s
- capture
- 84 KB
- records
- 9.5K
- bytes / record
- 8.9
SMT-LIB2 serialization + solver I/O backend for smtkit
Build behaviourcompiled and nothing more
Release 0.2.0 run 1ce2b106-60b8-4dc7-85dc-6c8429719df9 · built 2026-10-09
Artifact
- libsmtkit_smtlib.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 4.9K flows.
Network
0 peerscargo fetched 1,209 files from static.crates.io
Dependencies
13 packages, 3 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| ld-linux-x86-64.so.2 | linked | system library | ||
| 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.106 | observed | build script | |
| quote | 1.0.45 | observed | build script | |
| thiserror direct | 2.0.18 | observed | build script | |
| thiserror-impl | 2.0.18 | observed | proc macro | |
| shell-words direct | 1.1.1 | observed | ||
| smtkit-core direct | 0.1.0 | observed | ||
| syn | 2.0.117 | observed | ||
| unicode-ident | 1.0.24 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-09 · tarp 0.1.0+20261009153723-g6b83e9feb8b2 · run 1ce2b106-60b8-4dc7-85dc-6c8429719df9