Skip to content
Open-Source Registry

cargo / tla-checker / 0.24.3

tla-checker 0.24.3

bitbison: flagged, behavior clean, dependencies flagged, posture not checked, pipeline clean, 1 of 1 jobs captured RisknoneVulnshigh
processes
295
operations
55K
packages
196
compiler runs
313
connections
1
build time
5m 27s
job time
5m 27s
capture
690 KB
records
99K
bytes / record
6.9

Build behaviourcompiled C/C++

run 2fd71f69-504c-4e7f-b705-977850f2b07f · built 2026-10-09 · complete View on crates.io

Artifact

file · retained · product · graph v1
3

Checks

13 of 14 clear Known vulnerabilities
Build behavior✓✓✓✓✓✓✓✓
Supply chain▲✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 55K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (tla-rs) via crates.io · 15,617 files · went into an output ecosystem
Vulnerabilities4PackageFixSeverity
CVE-2026-63127rmcp 1.8.0>=2.0.0high
CVE-2026-63128rmcp 1.8.0>=2.0.0high
CVE-2026-64684rmcp 1.8.0>=2.1.0medium
GHSA-c9xm-49cp-xcr9rmcp 1.8.0>=2.0.0medium
Dependencies203Build behaviour
allocator-api20.2.21
ar_archive_writer0.5.3
base640.22.1
bitflags2.13.2
bytes1.12.1
castaway0.2.4
cc1.6.0
cfg-if1.0.5
chrono0.4.45
compact_str0.9.1
convert_case0.10.0
crossterm0.29.0
darling0.23.0
darling0.24.1
darling_core0.23.0
darling_core0.24.1
darling_macro0.23.0proc macro
darling_macro0.24.1proc macro
derive_more2.1.1
derive_more-impl2.1.1proc macro
document-features0.2.12proc macro
dyn-clone1.0.20
either1.19.0
equivalent1.0.2
errno0.3.14
fastrand2.5.0
find-msvc-tools0.1.14
foldhash0.2.0
futures0.3.34
futures-channel0.3.34
futures-core0.3.34
futures-executor0.3.34
futures-io0.3.34
futures-macro0.3.34proc macro
futures-sink0.3.34
futures-task0.3.34
futures-util0.3.34
hashbrown0.16.1
hashbrown0.17.1
heck0.5.0
ident_case1.0.1
indexmap2.14.2
indoc2.0.8proc macro
instability0.3.14proc macro
itertools0.14.0
itoa1.0.18
kasuari0.4.12
ld-linux-x86-64.so.2system library
libc0.2.190build script
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
line-clipping0.3.8
linux-raw-sys0.12.1
litrs1.0.0
lock_api0.4.14
log0.4.34
memchr2.8.3
mio1.2.4
num-traits0.2.19build script
object0.39.1build script
once_cell1.21.4
parking_lot0.12.5
parking_lot_core0.9.12build script
pastey0.2.3proc macro
pin-project-lite0.2.17
proc-macro21.0.107build script
psm0.1.32build scriptprebuilt objects
quote1.0.47build script
ratatui0.30.2
ratatui-core0.1.2
ratatui-crossterm0.1.2
ratatui-widgets0.3.2
ref-cast1.0.27build script
ref-cast-impl1.0.27proc macro
rmcp1.8.0build script
rmcp-macros1.8.0proc macro
rustix1.1.5build script
rustversion1.0.23build scriptproc macro
ryu1.0.23
schemars1.2.2
schemars_derive1.2.2proc macro
scopeguard1.2.0
serde1.0.229build script
serde_core1.0.229build script
serde_derive1.0.229proc macro
serde_derive_internals0.30.0
serde_json1.0.151build script
serde_spanned1.1.2
shlex2.0.1
signal-hook0.3.18build script
signal-hook-mio0.2.5
signal-hook-registry1.4.8
slab0.4.12
smallvec1.16.2
stacker0.1.25build script
static_assertions1.1.0
strsim0.11.1
strum0.28.0
strum_macros0.28.0proc macro
syn2.0.119
syn3.0.6
thiserror2.0.21build script
thiserror-impl2.0.21proc macro
tokio1.53.2
tokio-macros2.7.2proc macro
tokio-util0.7.20
toml1.1.8+spec-1.1.0
toml_datetime1.1.2+spec-1.1.0
toml_parser1.1.5+spec-1.1.0
toml_writer1.1.3+spec-1.1.0
tracing0.1.44
tracing-attributes0.1.31proc macro
tracing-core0.1.36
unicode-ident1.0.26
unicode-segmentation1.13.3
unicode-truncate2.0.1
unicode-width0.2.2
winnow1.0.4
zmij1.0.23build script
lru0.18.5
@playwright/test1.61.1
aho-corasick1.1.5
android_system_properties0.1.6
anes0.1.6
anstyle1.0.14
approx0.5.1
async-trait0.1.92proc macro
autocfg1.5.1
bumpalo3.20.3
by_address1.2.1
cast0.3.0
ciborium0.2.2
ciborium-io0.2.2
ciborium-ll0.2.2
clap4.6.7
clap_builder4.6.7
clap_lex1.1.1
core-foundation-sys0.8.7
criterion0.5.1
criterion-plot0.5.0
crossbeam-deque0.8.8build script
crossbeam-epoch0.9.21build script
crossbeam-utils0.8.23build script
crossterm_winapi0.9.1
crunchy0.2.4build script, not run
deranged0.5.8
fsevents2.3.2
half2.7.1
hermit-abi0.5.3
iana-time-zone0.1.65
iana-time-zone-haiku0.1.2build script, not run
is-terminal0.4.17
itertools0.10.5
js-sys0.3.106
libm0.2.16build script, not run
num-conv0.2.2
num_threads0.1.7
oorandom11.1.5
palette0.7.7
palette_derive0.7.7proc macro
palette_math0.7.7
playwright1.61.1
playwright-core1.61.1
plotters0.3.7
plotters-backend0.3.7
plotters-svg0.3.7
portable-atomic1.15.0build script, not run
powerfmt0.2.1
rayon1.12.0
rayon-core1.13.0build script
redox_syscall0.5.18
regex1.13.1
regex-automata0.4.18
regex-syntax0.8.11
rustc_version0.4.1
same-file1.0.6
semver1.0.28
time0.3.55
time-core0.1.9
tinytemplate1.2.1
tla-explorer-e2e0.0.0
walkdir2.5.0
wasi0.11.1+wasi-snapshot-preview1
wasm-bindgen0.2.129build script, not run
wasm-bindgen-macro0.2.129proc macro
wasm-bindgen-macro-support0.2.129
wasm-bindgen-shared0.2.129build script, not run
web-sys0.3.106
winapi0.3.9build script, not run
winapi-i686-pc-windows-gnu0.4.0build script, not runprebuilt objects
winapi-util0.1.11
winapi-x86_64-pc-windows-gnu0.4.0build script, not runprebuilt objects
windows-core0.62.2
windows-implement0.60.2proc macro
windows-interface0.59.3proc macro
windows-link0.2.1
windows-result0.4.1
windows-strings0.5.1
windows-sys0.61.2
zerocopy0.8.62build script
zerocopy-derive0.8.62proc macro
Versions74RiskVulnsPublished
0.24.77d ago
0.24.68d ago
0.24.59d ago
0.24.411d ago
0.24.311d ago
0.24.212d ago
0.24.1not analyzed12d ago
0.24.0not analyzed13d ago
0.23.32026-10-06
0.23.2not analyzed2026-10-06
0.23.12026-10-06
0.23.02026-10-06
0.22.12026-10-05
0.22.02026-10-05
0.21.3not analyzed2026-10-05
0.21.2not analyzed2026-10-05
0.21.1not analyzed2026-10-05
0.21.0not analyzed2026-10-05
0.20.0not analyzed2026-10-05
0.19.0not analyzed2026-10-04
0.18.1not analyzed2026-10-04
0.18.0not analyzed2026-10-04
0.17.2not analyzed2026-10-04
0.17.1not analyzed2026-10-04
0.17.0not analyzed2026-10-03
0.16.0not analyzed2026-10-03
0.15.1not analyzed2026-10-03
0.15.0not analyzed2026-10-03
0.14.0not analyzed2026-10-03
0.13.0not analyzed2026-10-02
0.12.1not analyzed2026-10-02
0.12.0not analyzed2026-10-02
0.11.1not analyzed2026-09-29
0.11.0not analyzed2026-09-29
0.10.2not analyzed2026-09-26
0.10.1not analyzed2026-09-24
0.10.0not analyzed2026-09-23
0.9.9not analyzed2026-09-23
0.9.8not analyzed2026-09-23
0.9.7not analyzed2026-09-22
0.9.6not analyzed2026-09-21
0.9.5not analyzed2026-09-21
0.9.4not analyzed2026-09-20
0.9.2not analyzed2026-09-19
0.9.0not analyzed2026-09-07
0.6.11not analyzed2026-07-17
0.6.10not analyzed2026-07-15
0.6.7not analyzed2026-07-14
0.6.6not analyzed2026-07-06
0.6.5not analyzed2026-07-06
0.6.3not analyzed2026-06-02
0.6.1not analyzed2026-06-01
0.6.0not analyzed2026-05-29
0.5.5not analyzed2026-05-29
0.5.4not analyzed2026-05-28
0.5.3not analyzed2026-05-28
0.5.2not analyzed2026-05-28
0.5.1not analyzed2026-05-28
0.4.3not analyzed2026-05-18
0.4.2not analyzed2026-05-18
0.4.1not analyzed2026-05-17
0.3.11not analyzed2026-05-02
0.3.9not analyzed2026-04-10
0.3.7not analyzed2026-04-03
0.3.6not analyzed2026-03-24
0.3.4not analyzed2026-03-09
0.3.3not analyzed2026-02-25
0.3.2not analyzed2026-02-16
0.3.1not analyzed2026-02-15
0.3.0not analyzed2026-02-13
0.2.0not analyzed2026-02-07
0.1.1not analyzed2026-02-05
0.1.0not analyzed2026-02-05
0.24.8nonehigh

Raw data

capture
690 KB
records
99,412
bytes per record
6.9

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-09 · run 2fd71f69-504c-4e7f-b705-977850f2b07f

analysis 0.1.0 · 2026-10-09 · 6b83e9f · graph v1