sail-model

LOW

maintainer Arielfoever 1 votes scanned 2026-09-17 00:27:14.276658

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-09-17 00:27:14	Low	2
2026-09-16 00:03:17	Low	2
2026-09-15 00:25:31	Low	2
2026-09-14 00:27:57	Low	2
2026-09-13 00:19:54	Low	2
2026-09-12 00:25:17	Low	2
2026-09-11 00:19:22	Low	2
2026-09-10 00:22:44	Low	2
2026-09-09 00:04:09	Low	2
2026-09-08 00:18:08	Low	2
2026-09-07 00:30:15	Low	2
2026-09-06 00:17:06	Low	2
2026-09-05 00:16:27	Low	2
2026-09-04 00:03:13	Low	2
2026-09-03 00:15:47	Low	2
2026-09-02 00:02:31	Low	2
2026-09-01 00:11:19	Low	2
2026-08-31 00:19:57	Low	2
2026-08-30 00:04:14	Low	2
2026-08-29 00:29:17	Low	2