cargo / tree-sitter-smt2
tree-sitter-smt2 0.1.0
clean- processes
- 339
- operations
- 6.4K
- packages
- 29
- compiler runs
- 5
- connections
- 1
- job time
- 24s
- capture
- 95 KB
- records
- 12K
- bytes / record
- 8.1
SMT-LIB 2 grammar for tree-sitter
Artifact
- libtree_sitter_smt2.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 6.4K flows.
Network
0 peerscargo fetched 1,109 files from static.crates.io
Dependencies
29 packages, 5 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.107 | observed | build script, not run | |
| quote | 1.0.47 | observed | build script, not run | |
| serde | 1.0.229 | observed | build script, not run | |
| serde_core | 1.0.229 | observed | build script | |
| serde_derive | 1.0.229 | observed | proc macro | |
| serde_json | 1.0.151 | observed | build script | |
| tree-sitter | 0.27.1 | observed | build script | |
| tree-sitter-language direct | 0.1.9 | observed | build script | |
| zmij | 1.0.23 | observed | build script | |
| aho-corasick | 1.1.5 | observed | ||
| cc direct | 1.6.0 | observed | ||
| equivalent | 1.0.2 | observed | ||
| find-msvc-tools | 0.1.14 | observed | ||
| hashbrown | 0.17.1 | observed | ||
| indexmap | 2.14.2 | observed | ||
| itoa | 1.0.18 | observed | ||
| memchr | 2.8.3 | observed | ||
| regex | 1.13.1 | observed | ||
| regex-automata | 0.4.18 | observed | ||
| regex-syntax | 0.8.11 | observed | ||
| shlex | 2.0.1 | observed | ||
| streaming-iterator | 0.1.9 | observed | ||
| syn | 3.0.6 | observed | ||
| unicode-ident | 1.0.26 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-10 · run 5eace39b-2886-4446-a3f7-76ff692e57b5
analysis 0.1.0 · 2026-10-09 · 814b5de · graph v1