sail-model

LOW

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

View on AUR

Why flagged

The package uses opam, a standard OCaml package manager, to build and install its own project source from a trusted upstream GitHub repository; this is normal for OCaml projects and does not involve untrusted remote code execution or malicious payloads.

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-07-25) reviewed the full PKGBUILD and judged it LOW (confidence 95%): The package uses opam, a standard OCaml package manager, to build and install its own project source from a trusted upstream GitHub repository; this is normal for OCaml projects and does not involve untrusted remote code execution or malicious payloads.

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

Medium External install via pipx/uv/poetry/cargo/go/gem alt_pkg_manager_install

A non-pip/npm package manager (pipx, uv, poetry, cargo install, go install, gem, conda…) fetches and builds an external package at build time, outside source=() and makepkg's checksums.

PKGBUILD:36 opam install sail --yes

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Arielfoever <ArielHeleneto@outlook.com>
    
      2
    
      3pkgname=sail-model
    
      4pkgver=0.19.1
    
      5pkgrel=1
    
      6pkgdesc="The Sail ISA specification language"
    
      7arch=('x86_64')
    
      8url="https://github.com/rems-project/sail"
    
      9license=('BSD-2-Claus')
    
      10depends=(
    
      11  'z3'
    
      12)
    
      13makedepends=(
    
      14  'opam'
    
      15  'dune'
    
      16  'ocaml>=4.8.1'
    
      17  'z3'
    
      18  'bash'
    
      19)
    
      20source=(
    
      21  "${pkgname}-${pkgver}.tar.gz::https://github.com/rems-project/sail/archive/refs/tags/${pkgver}.tar.gz"
    
      22)
    
      23sha512sums=('77497EC093BFFB5F4F0967430295FE69C33E3DCB8A158C3CA287D6311EC7F57A1CDCDB4211591B7C8F3783267238E60E786F4D36BD525805D44F38C19660BBEC')
    
      24provides=('sail')
    
      25
    
      26build() {
    
      27  opam init --yes --no-setup --shell=sh --compiler=5.2.1 --interactive
    
      28
    
      29  cd "sail-$pkgver"
    
      30
    
      31  eval $(opam env)
    
      32  # opam install . --deps-only --yes
    
      33  # dune build --release
    
      34
    
      35  opam pin --yes --no-action add .
    
      36  opam install sail --yes
    
      37}
    
      38
    
      39check() {
    
      40  cd "sail-$pkgver"
    
      41  # export SAIL_DIR=$(pwd)
    
      42  PATH=$(pwd):$PATH test/run_core_tests.sh
    
      43}
    
      44
    
      45package() {
    
      46  cd "sail-$pkgver"
    
      47  eval $(opam env)
    
      48  dune install --relocatable --prefix="." --destdir="${pkgdir}/usr"
    
      49  # dune install --relocatable 
    
      50
    
      51  install -Dm644 README.md -t "${pkgdir}/usr/share/doc/${pkgname}/"
    
      52  install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
    
      53}
    
      54

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 00:23:45	Low	2