tamarin-prover
Version: 1.12.0Main source code repository of the Tamarin prover for security protocol verification.
What is "tamarin-prover"?
Main source code repository of the Tamarin prover for security protocol verification.
How to use this package
Quick install
Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.
min add tamarin-proverDeclare as a task dependency in minimal.toml
Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.
[tasks.dev]
packages = ["tamarin-prover"]Build-time vs runtime
Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.
min add --build tamarin-prover
min add --runtime tamarin-proverDependencies (9)
Dependency changes
Loading diff…
Could not load the dependency diff for one of the selected versions. Try again.
No dependency changes
The two selected versions have identical direct dependencies.
| Name | Version | Kind |
|---|
No dependants
No other packages in the registry depend on this one.
No direct advisories
This package inherits 14 transitive advisories from its dependencies.
Showing 14 transitive advisories via tamarin-prover's dependencies
No advisories match the current filters.
| Critical (0) | ||||||
| Status | IDs | Package | Severity | |||
|---|---|---|---|---|---|---|
| High (4) | ||||||
| Status | IDs | Package | Severity | |||
Under investigation | pcre2 | High: 8.2 | ||||
SummaryPCRE2: out-of-bounds write in pcre2_dfa_match() with recursive patterns under a low heap limit Affected ranges10.46 – 10.47 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:L | ||||||
Under investigation | expat | High | ||||
SummaryExpat Denial of Service via storeAtts() Quadratic Complexity Affected ranges2.8.2 – 2.8.3 References
| ||||||
Under investigation | glibc | High: 7.3 | ||||
SummaryThe deprecated functions ns_printrrf, ns_printrr and fp_nquery in the GNU C Library version 2.2 and newer fail to enforce the caller-supplied buffer length, and can result in an out-of-bounds write when printing TSIG records. Affected ranges2.42 – 2.44 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:L/I:L/A:L | ||||||
Under investigation | pcre2 | High | ||||
SummaryHeap-buffer-overflow in pcre2_compile_32 Affected ranges10.46 – 10.47 References | ||||||
| Medium (6) | ||||||
| Status | IDs | Package | Severity | |||
Under investigation | pcre2 | Medium: 6.5 | ||||
SummaryPCRE2: integer overflow in pcre2_compile_32() causes out-of-bounds write on 32-bit systems Affected ranges10.46 – 10.47 CVSS vectorCVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:L | ||||||
Under investigation | pcre2 | Medium: 5.7 | ||||
SummaryPCRE2: out-of-bounds write in pcre2_pattern_convert() with large patterns on 32-bit systems Affected ranges10.46 – 10.47 CVSS vectorCVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:N/I:H/A:L | ||||||
Under investigation | coreutils | Medium | ||||
SummaryOut‑of‑bounds Read in GNU coreutils Affected ranges9.9 – 9.11 References
| ||||||
Under investigation | harfbuzz | Medium | ||||
SummaryUse-of-uninitialized-value in iup_delta_optimize Affected ranges14.3.0 – 14.3.1 References | ||||||
Under investigation | libpng | Medium: 5.4 | ||||
SummaryLIBPNG: Chunk smuggling in push-mode APNG parser via unconsumed chunk body Affected ranges1.6.50 – 1.6.58 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:R/S:U/C:N/I:L/A:L References
| ||||||
Under investigation | glibc | Medium: 6.5 | ||||
SummaryThe deprecated functions ns_printrrf, ns_printrr and fp_nquery in the GNU C Library version 2.0.1 to version 2.43 fail to validate the RDATA content against the RDATA length in a DNS response when processing A6, CERT, LOC, TKEY or TSIG records, which may allow an attacker to craft a DNS response, causing a target application to crash or read uninitialized memory. These functions are for application debugging only and hence not in the path of code executed by the DNS resolver. Further, they have been deprecated since version 2.34 and should not be used by any new applications. Applications should consider porting away from these interfaces since they may be removed in future versions. Affected ranges2.42 – 2.44 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:L/I:N/A:L | ||||||
| Low (4) | ||||||
| Status | IDs | Package | Severity | |||
Under investigation | pcre2 | Low: 3.7 | ||||
SummaryPCRE2: out-of-bounds reads in pcre2_match() when matching invalid UTF subjects with PCRE2_MATCH_INVALID_UTF Affected ranges10.46 – 10.47 CVSS vectorCVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:N/I:N/A:L | ||||||
Under investigation | pcre2 | Low: 2.9 | ||||
SummaryPCRE2: out-of-bounds read in pcre2_match() after JIT fallback with invalid UTF Affected ranges10.46 – 10.47 CVSS vectorCVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:N/I:N/A:L | ||||||
Under investigation | coreutils | Low | ||||
SummaryHeap-based Buffer Overflow in GNU coreutils Affected ranges9.9 – 9.11 References
| ||||||
Under investigation | pcre2 | Low: 2.9 | ||||
SummaryPCRE2: uninitialized memory disclosure in pcre2_serialize_encode() Affected ranges10.46 – 10.47 CVSS vectorCVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:L/I:N/A:N | ||||||
| Unknown (0) | ||||||
| Status | IDs | Package | Severity | |||
81 components
No components match your filter.