tamarin-prover

Version: 1.12.0

Main source code repository of the Tamarin prover for security protocol verification.

Install package

min add tamarin-prover

Tool

Updated 2 months ago

OpenSSF Score

Last scored on 2026-10-19

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-prover

Declare 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-prover

Compare versions

Dependencies (9)

Dependencies
Name	Version	Kind
alex	3.5.4.2	build
base	—	build
cabal	3.18.1.0	build
ghc	9.10.3	build
gmp	6.3.0	build + runtime
graphviz	15.1.1	runtime
happy	2.1.6	build
maude	3.5.1	runtime
patch CVE:2	2.8	build

Dependency changes

No dependants

No other packages in the registry depend on this one.

tamarin-prover v1.12.0d2bed31
Diff
Lines:+287Deps:9(+9)
Released: 2 months ago
1. d2bed31
  Diff
  Lines:+53Deps:9(+2)
  Released: 2 months ago
2. 31593f0
  Diff
  Lines:+35Deps:7
  Released: 3 months ago
3. ea42719
  Diff
  Lines:+199Deps:7(+7)
  Released: 3 months ago

No direct advisories

This package inherits 5 transitive advisories from its dependencies.

Include transitive

Showing 5 transitive advisories via tamarin-prover's dependencies

Security advisories for this package
	Status	IDs	Package	Version	Severity	Published
Critical (0)
High (2)
	Status	IDs	Package	Version	Severity	Published
	Affected: 1.3.2	CVE-2026-85091	zlib	1.3.2	High	2 months ago
Summary zlib 1.3.1.2 through 1.3.2 Heap Buffer Overflow via gz_vacate Via graphviz zlib Affected ranges 1.3.2 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/85xxx/CVE-2026-85091.json, https://nvd.nist.gov/vuln/detail/CVE-2026-85091, https://www.vulncheck.com/advisories/zlib-1.3.1.2-through-1.3.2-heap-buffer-overflow-via-gz-vacate Evidence: https://gist.github.com/thesmartshadow/e0b9481792afb7c31e86fee1ff084490 PACKAGE: https://github.com/madler/zlib ARTICLE: https://github.com/madler/zlib/blob/v1.3.2/gzwrite.c#L393
	Under investigation	GHSA-g84c-rxfj-3j2c CVE-2026-76844	zlib	1.3 – 1.3.2	High	2 months ago
Summary zlib 1.2.11 through 1.3.2 Heap Buffer Overflow via Stale gzwrite Pointer After Failed Write Via graphviz zlib Affected ranges 1.3 – 1.3.2 References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/76xxx/CVE-2026-76844.json, https://nvd.nist.gov/vuln/detail/CVE-2026-76844, https://www.vulncheck.com/advisories/zlib-1.3.1.2-through-1.3.2-heap-buffer-overflow-via-gz-vacate Fix: https://github.com/madler/zlib/commit/df84af25dc1942490e1d1c899a07619152a46148 Evidence: https://gist.github.com/thesmartshadow/e0b9481792afb7c31e86fee1ff084490 PACKAGE: https://github.com/madler/zlib ARTICLE: https://github.com/madler/zlib/blob/v1.3.2/gzwrite.c#L393
Medium (1)
	Status	IDs	Package	Version	Severity	Published
	Under investigation	GHSA-c4v6-gxrq-6g2x CVE-2026-40930	libpng	1.6.53 – 1.6.59	Medium: 5.4	5 months ago
Summary LIBPNG: Chunk smuggling in push-mode APNG parser via unconsumed chunk body Via graphviz libpng Affected ranges 1.6.53 – 1.6.59 CVSS vector CVSS:3.1/AV:N/AC:L/PR:N/UI:R/S:U/C:N/I:L/A:L References Advisory: https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/40xxx/CVE-2026-40930.json, https://github.com/pnggroup/libpng/security/advisories/GHSA-c4v6-gxrq-6g2x, https://nvd.nist.gov/vuln/detail/CVE-2026-40930 Fix: https://github.com/pnggroup/libpng/commit/faf06924688b62d7c1654b5ceddedbde66ffadb4 Web: http://www.openwall.com/lists/oss-security/2026/05/15/21
Low (1)
	Status	IDs	Package	Version	Severity	Published
	Affected: 3.1.4.1	OSV-2026-1068	libjpeg-turbo	3.1.4 – 3.1.4.1	Low	3 months ago
Summary UNKNOWN READ in jpeg_abort Via graphviz libgd libjpeg-turbo Affected ranges 3.1.4 – 3.1.4.1 References Report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=537793912
Unknown (1)
	Status	IDs	Package	Version	Severity	Published
	Affected: 14.5.0	GHSA-r62p-jr5f-3mjm	harfbuzz	12.3.2 – 14.5.0	Unknown	2 days ago
Summary Out-of-bounds read in subsetter feature-substitution parameter handling Via graphviz pango harfbuzz Affected ranges 12.3.2 – 14.5.0 References Web: https://github.com/harfbuzz/harfbuzz/security/advisories/GHSA-r62p-jr5f-3mjm

Build provenance

For the signed record of what the build used, see the Provenance tab.

82 components

Software Bill of Materials — every package this build depends on
Packages	Version	Repository	License
tamarin-proverROOT	1.12.0	github.com/tamarin-prover/tamarin-prover	GPL-3.0-only
acl	2.4.0	https://storage.googleapis.com/minimal-staging-archives/acl-2.4.0.tar.xzMIRROR	(GPL-2.0-only AND LGPL-2.1-only)
alex	3.5.4.2	github.com/haskell/alex	BSD-3-Clause
attr	2.6.0	https://storage.googleapis.com/minimal-staging-archives/attr-2.6.0.tar.gzMIRROR	(GPL-2.0-only AND LGPL-2.1-only)
autoconf	2.73	www.gnu.org/software/autoconf	GPL-3.0-or-later WITH Autoconf-exception-3.0
automake	1.18.1	www.gnu.org/software/automake	GPL-2.0-only
bash	5.3	www.gnu.org/software/bash	GPL-3.0-only
bash-bootstrap	5.3	www.gnu.org/software/bash	GPL-3.0-only
binutils	2.47	www.gnu.org/software/binutils	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.0-only)
bison	3.8.2	www.gnu.org/software/bison	GPL-3.0-only
buddy	2.4	github.com/utwente-fmt/buddy	LicenseRef-BuDDy
bzip2	1.0.8	github.com/libarchive/bzip2	bzip2-1.0.6
cabal	3.18.1.0	github.com/haskell/cabal	BSD-3-Clause
cairo	1.18.4	https://storage.googleapis.com/minimal-staging-archives/cairo-1.18.4.tar.xzMIRROR	LGPL-2.1-only OR MPL-1.1
cmake	4.4.2	github.com/Kitware/CMake	BSD-3-Clause
coreutils	9.12	www.gnu.org/software/coreutils	GPL-3.0-only
curl	8.23.0	github.com/curl/curl	curl
diffutils	3.12	www.gnu.org/software/diffutils	GPL-3.0-only
expat	2.9.0	github.com/libexpat/libexpat	MIT
file	5.48	https://storage.googleapis.com/minimal-staging-archives/file-5.48.tar.gzMIRROR	BSD-2-Clause-Darwin
findutils	4.11.0	www.gnu.org/software/findutils	GPL-3.0-only
flex	2.6.4	github.com/westes/flex	BSD-3-Clause-flex
fontconfig	2.18.3	https://storage.googleapis.com/minimal-staging-archives/fontconfig-2.18.3.tar.xzMIRROR	HPND-sell-variant
freetype	2.15.0	https://storage.googleapis.com/minimal-staging-archives/freetype-2.15.0.tar.xzMIRROR	FTL OR GPL-2.0-or-later
fribidi	1.0.16	github.com/fribidi/fribidi	LGPL-2.1-or-later
gawk	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gawk-bootstrap	5.4.1	www.gnu.org/software/gawk	GPL-3.0-only
gcc	15.2.0	www.gnu.org/software/gcc	(GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
gdbm	1.26	www.gnu.org/software/gdbm	GPL-3.0-only
ghc	9.10.3	https://downloads.haskell.org/~ghc/9.10.3/ghc-9.10.3-src.tar.xz	BSD-3-Clause
ghc-bootstrap	9.8.1	https://downloads.haskell.org/~ghc/9.8.1/ghc-9.8.1-x86_64-deb11-linux.tar.xz	BSD-3-Clause
glib	2.88.4	github.com/GNOME/glib	LGPL-2.1-or-later
glibc	2.44	www.gnu.org/software/glibc	(GPL-2.0-only AND LGPL-2.1-only)
gmp	6.3.0	www.gnu.org/software/gmp	LGPL-3.0-or-later OR GPL-2.0-or-later
gperf	3.3	www.gnu.org/software/gperf	GPL-3.0-only
graphviz	15.1.1	https://gitlab.com/graphviz/graphviz/-/archive/15.1.1/graphviz-15.1.1.tar.gz	EPL-1.0
grep	3.12	www.gnu.org/software/grep	GPL-3.0-only
gzip	1.15	www.gnu.org/software/gzip	GPL-3.0-only
happy	2.1.6	github.com/haskell/happy	BSD-2-Clause
harfbuzz	14.5.0	github.com/harfbuzz/harfbuzz	MIT-Modern-Variant
libcap	2.78	https://storage.googleapis.com/minimal-staging-archives/libcap-2.78.tar.xzMIRROR	BSD-3-Clause OR GPL-2.0-only
liberation-fonts	2.1.5	github.com/liberationfonts/liberation-fonts	OFL-1.1
libffi	3.8.0	github.com/libffi/libffi	MIT
libgd	2.3.3	github.com/libgd/libgd	GD
libidn2	2.3.8	www.gnu.org/software/libidn2	GPL-3.0-or-later AND (GPL-2.0-or-later OR LGPL-3.0-or-later)
libjpeg-turbo	3.1.4.1	github.com/libjpeg-turbo/libjpeg-turbo	IJG AND BSD-3-Clause AND Zlib
libpng	1.6.59	github.com/pnggroup/libpng	libpng-2.0
libpsl	0.23.3	github.com/rockdaboot/libpsl	MIT
libsigsegv	2.15	www.gnu.org/software/libsigsegv	GPL-2.0-or-later
libtecla	1.6.3	https://storage.googleapis.com/minimal-staging-archives/build-aux/gnu-config-config.guessMIRROR	MIT
libtool	2.6.2	www.gnu.org/software/libtool	GPL-2.0-only
libunistring	1.4.2	www.gnu.org/software/libunistring	GPL-3.0-only
libuv	1.53.0	github.com/libuv/libuv	MIT
libwebp	1.6.0	github.com/webmproject/libwebp	BSD-3-Clause
linux_headers	6.12.43	github.com/torvalds/linux	GPL-2.0-only WITH Linux-syscall-note
lz4	1.10.0	github.com/lz4/lz4	BSD-2-Clause AND GPL-2.0-or-later
m4	1.4.21	www.gnu.org/software/m4	GPL-3.0-only
make	4.4.1	www.gnu.org/software/make	GPL-3.0-only
maude	3.5.1	github.com/maude-lang/Maude	GPL-2.0-or-later
meson	1.12.0	github.com/mesonbuild/meson	Apache-2.0
mpc	1.4.1	www.gnu.org/software/mpc	LGPL-3.0-or-later
mpfr	4.2.2	www.gnu.org/software/mpfr	GPL-3.0-only
ncurses	6.6	www.gnu.org/software/ncurses	X11-distribute-modifications-variant
ninja	1.13.2	github.com/ninja-build/ninja	Apache-2.0
openssl	3.6.5	github.com/openssl/openssl	Apache-2.0
pango	1.58.2	https://storage.googleapis.com/minimal-staging-archives/pango-1.58.2.tar.xzMIRROR	LGPL-2.0-only
patch	2.8	www.gnu.org/software/patch	GPL-3.0-only
pcre2	10.49	github.com/PCRE2Project/pcre2	BSD-3-Clause WITH PCRE2-exception
perl	5.44.0	github.com/Perl/perl5	Artistic-1.0-Perl OR GPL-1.0-or-later
pixman	0.46.4	https://storage.googleapis.com/minimal-staging-archives/pixman-0.46.4.tar.gzMIRROR	MIT
pkgconf	3.0.5	github.com/pkgconf/pkgconf	ISC
python	3.14.9	github.com/python/cpython	Python-2.0.1
readline	8.3	www.gnu.org/software/readline	GPL-3.0-only
sed	4.10	www.gnu.org/software/sed	GPL-3.0-only
setuptools	84.2.1	github.com/pypa/setuptools	MIT
sqlite	3.54.0	github.com/sqlite/sqlite	blessing
tar	1.35	www.gnu.org/software/tar	GPL-3.0-only
tzdata	2026e	github.com/eggert/tz	LicenseRef-Public-Domain
util-linux	2.42.4	github.com/util-linux/util-linux	GPL-2.0-or-later AND LGPL-2.1-or-later AND BSD-3-Clause
xz	5.8.4	github.com/tukaani-project/xz	(0BSD AND GPL-2.0-only AND GPL-3.0-only AND LGPL-2.1-only)
zlib	1.3.2	github.com/madler/zlib	Zlib
zstd	1.5.7	github.com/facebook/zstd	BSD-3-Clause OR GPL-2.0-only

View packages at a commit

tamarin-prover

Install package

OpenSSF Score

OpenSSF Scorecard — tamarin-prover

What is "tamarin-prover"?

How to use this package

Quick install

Declare as a task dependency in minimal.toml

Build-time vs runtime

Dependencies (9)

Dependency changes

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

CVSS vector

References

Summary

Via

Affected ranges

References

Summary

Via

Affected ranges

References

Build provenance

Build provenance

Build provenance

82 components

Join the waitlist

Check your email