sail-model

maintainer Arielfoever · 1 votes · scanned 2026-08-03 00:08:14.047287

LOW

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-08-03 00:08:14	LOW	2
2026-08-02 00:16:08	LOW	2
2026-08-01 00:11:18	LOW	2
2026-07-31 00:14:10	LOW	2
2026-07-30 00:17:23	LOW	2
2026-07-29 00:25:53	LOW	2
2026-07-28 00:07:28	LOW	2
2026-07-27 00:24:32	LOW	2
2026-07-26 00:07:32	LOW	2
2026-07-25 00:13:44	LOW	2
2026-07-24 00:02:28	LOW	2
2026-07-23 00:14:47	LOW	2
2026-07-22 00:29:32	LOW	2
2026-07-21 00:24:15	LOW	2
2026-07-20 00:19:49	LOW	2
2026-07-19 00:17:08	LOW	2
2026-07-18 00:14:48	LOW	2
2026-07-17 00:06:16	LOW	2
2026-07-16 00:05:41	LOW	2
2026-07-15 00:09:25	LOW	2