SBOM for oxiz 0.3.4

Python bindings for OxiZ SMT Solver

CycloneDX PEP 740 attested 1 known vulnerability

Package information

License
Apache-2.0
Requires Python
>=3.8
PyPI
oxiz 0.3.4
Documentation
https://docs.rs/oxiz
Homepage
https://github.com/cool-japan/oxiz
Repository
https://github.com/cool-japan/oxiz

Available SBOMs

Read from .dist-info/sboms/ in each wheel.

oxiz-0.3.4-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp310-cp310-win_amd64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp311-cp311-macosx_10_12_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp311-cp311-macosx_11_0_arm64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp311-cp311-win_amd64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp312-cp312-macosx_10_12_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp312-cp312-macosx_11_0_arm64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp312-cp312-win_amd64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp313-cp313-macosx_10_12_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp313-cp313-macosx_11_0_arm64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp313-cp313-win_amd64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp314-cp314-macosx_10_12_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp314-cp314-macosx_11_0_arm64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp314-cp314-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp314-cp314-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp314-cp314-win_amd64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp314-cp314t-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp314-cp314t-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp315-cp315-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp315-cp315t-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-pp311-pypy311_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

oxiz-0.3.4-pp311-pypy311_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Attested
Publisher: GitHub Source: cool-japan/oxiz Workflow: pypi-publish.yml
Valid
oxiz-py.cyclonedx.json
CycloneDX/1.5 application/vnd.cyclonedx+json 1 known vulnerability
Download

Known vulnerabilities

Components listed in these SBOMs, matched against the OSV database as of 2026-11-09.

Vulnerability Severity Component Fixed in
RUSTSEC-2026-0249
smartstring is unmaintained
Unknown smartstring 1.0.1
crates.io
—

Access via TEA

Use the Transparency Exchange API to fetch this SBOM programmatically:

pip install libtea
python -m libtea https://pypi.sbomify.com pkg:pypi/[email protected]