nuxmv-bin

LOW

maintainer aseoista 1 votes scanned 2026-11-01 00:21:48.120785

View on AUR

Why flagged

The package downloads a source tarball from the project's official domain (nuxmv.fbk.eu), which is not on a standard code host but plausibly the project's own; the tarball is verified with a fixed checksum, and the build installs only the project's own prebuilt binaries and libraries, which is normal for a -bin package.

Triggered rules

Low AI review downgraded a static finding llm_review

The static rules flagged this MEDIUM, but an AI model (qwen/qwen3-235b-a22b-2507) reviewed the full PKGBUILD and judged it LOW (confidence 95%): The package downloads a source tarball from the project's official domain (nuxmv.fbk.eu), which is not on a standard code host but plausibly the project's own; the tarball is verified with a fixed checksum, and the build installs only the project's own prebuilt binaries and libraries, which is normal for a -bin package.

1 higher static finding superseded - not the current verdict (shown for transparency)

Medium source=() URL on a non-standard host source_untrusted_domain

One or more source=() URLs point to a host outside the trusted allowlist (github.com, gitlab.com, codeberg.org, pypi.org, …).

PKGBUILD:15 source_x86_64=("nuXmv-${pkgver}-linux64.tar.xz::https://nuxmv.fbk.eu/downloads/${pkgver}/nuXmv-${pkgver}-linux64.tar.xz")

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Alberto Bonizzi <aseoista at gmail dot com>
    
      2
    
      3pkgname=nuxmv-bin
    
      4pkgver=2.2.0
    
      5pkgrel=2
    
      6pkgdesc="State of the art, infinite state model checker built on NuSMV"
    
      7arch=('x86_64')
    
      8url="https://nuxmv.fbk.eu/"
    
      9license=('LicenseRef-nuXmv-FBK-License')
    
      10provides=('nuXmv')
    
      11depends=('gcc-libs' 'glibc' 'util-linux-libs')
    
      12optdepends=('python: For using conversion scripts')
    
      13makedepends=('patchelf')
    
      14
    
      15source_x86_64=("nuXmv-${pkgver}-linux64.tar.xz::https://nuxmv.fbk.eu/downloads/${pkgver}/nuXmv-${pkgver}-linux64.tar.xz")
    
      16source=("nuxmv.pc.in")
    
      17
    
      18sha256sums_x86_64=('d31709895ae2d7737e1e3c59eec9442c76527d2273380eaff6f3aea8cce9f946')
    
      19sha256sums=('23c305bbe1e14baacca89ef7c828f63a0c65a92d6d77ee2aec59f26a0fac5f08')
    
      20
    
      21package() {
    
      22  _output="${srcdir}/nuXmv-${pkgver}-linux64"
    
      23  local _libdir="${CARCH}-linux-gnu"
    
      24
    
      25  install -Dm755 "${_output}/usr/local/bin/nuXmv" -t "${pkgdir}/usr/bin/"
    
      26  install -Dm644 "${_output}/usr/local/include/nuxmv.h" -t "${pkgdir}/usr/include/"
    
      27  install -Dm755 "${_output}/usr/local/lib/${_libdir}/libnuxmv.so" -t "${pkgdir}/usr/lib/"
    
      28
    
      29  install -Dm755 \
    
      30    "${_output}/usr/local/lib/${_libdir}/libbsd.so.0" \
    
      31    "${_output}/usr/local/lib/${_libdir}/libedit.so.2" \
    
      32    "${_output}/usr/local/lib/${_libdir}/libgmp.so.10" \
    
      33    "${_output}/usr/local/lib/${_libdir}/libicudata.so.70" \
    
      34    "${_output}/usr/local/lib/${_libdir}/libicuuc.so.70" \
    
      35    "${_output}/usr/local/lib/${_libdir}/liblzma.so.5" \
    
      36    "${_output}/usr/local/lib/${_libdir}/libmd.so.0" \
    
      37    "${_output}/usr/local/lib/${_libdir}/libtinfo.so.6" \
    
      38    "${_output}/usr/local/lib/${_libdir}/libxml2.so.2" \
    
      39    -t "${pkgdir}/opt/nuXmv/lib/"
    
      40
    
      41  local _doc="${_output}/usr/local/doc"
    
      42  find "${_doc}" -type f | while read -r f; do
    
      43    install -Dm644 "${f}" "${pkgdir}/usr/share/doc/${pkgname}/${f#"${_doc}"/}"
    
      44  done
    
      45
    
      46  local _share="${_output}/usr/local/share"
    
      47  find "${_share}" -type f | while read -r f; do
    
      48    install -Dm644 "${f}" "${pkgdir}/usr/share/${f#"${_share}"/}"
    
      49  done
    
      50
    
      51  patchelf --force-rpath --set-rpath '/opt/nuXmv/lib' "${pkgdir}/usr/bin/nuXmv"
    
      52  patchelf --force-rpath --set-rpath '/opt/nuXmv/lib' "${pkgdir}/usr/lib/libnuxmv.so"
    
      53
    
      54  patchelf --force-rpath --set-rpath '$ORIGIN' "${pkgdir}/opt/nuXmv/lib/libicuuc.so.70"
    
      55  patchelf --force-rpath --set-rpath '$ORIGIN' "${pkgdir}/opt/nuXmv/lib/libxml2.so.2"
    
      56
    
      57  install -dm755 "${pkgdir}/usr/lib/pkgconfig"
    
      58  sed "s/@PKGVER@/${pkgver}/" "${srcdir}/nuxmv.pc.in" > "${pkgdir}/usr/lib/pkgconfig/nuxmv.pc"
    
      59  chmod 644 "${pkgdir}/usr/lib/pkgconfig/nuxmv.pc"
    
      60  install -Dm644 "${_output}/LICENSE.txt" -t "${pkgdir}/usr/share/licenses/${pkgname}/"
    
      61}
    
      62

Scan history

Scanned at (UTC)	Severity	Rules
2026-11-01 00:21:48	Low	2
2026-10-31 00:07:41	Low	2
2026-10-30 00:29:30	Low	2
2026-10-29 00:13:55	Low	2
2026-10-28 00:06:54	Low	2
2026-10-27 00:23:28	Low	2
2026-10-26 00:12:40	Low	2
2026-10-25 00:20:48	Low	2
2026-10-24 00:14:55	Low	2
2026-10-23 00:02:19	Low	2
2026-10-22 00:13:10	Low	2
2026-10-21 00:12:50	Low	2
2026-10-20 00:10:31	Low	2
2026-10-19 00:03:55	Low	2
2026-10-18 00:06:55	Low	2
2026-10-17 00:21:55	Low	2
2026-10-16 00:12:47	Low	2
2026-10-15 00:28:05	Low	2
2026-10-14 00:06:47	Low	2
2026-10-13 09:16:20	Medium	1