nodejs-formality-lang

LOW

maintainer christofsteel 0 votes scanned 2026-09-17 00:27:14.276658

View on AUR

Why flagged

The npm install is from a verified npm registry source tarball listed in source=, which is standard for Node.js packages on AUR; the flagged 'undeclared external package' is the package itself being built and installed locally, not an unexpected remote dependency.

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 npm install is from a verified npm registry source tarball listed in source=, which is standard for Node.js packages on AUR; the flagged 'undeclared external package' is the package itself being built and installed locally, not an unexpected remote dependency.

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

Medium npm/yarn/pnpm install of an undeclared external package npm_install_external

Runs `npm/yarn/pnpm install <package>` for a package not in source=(), pulling unpinned, unreviewed code at build time. Severity downgraded: the package declares/looks like a Node.js consumer, where build-time installs are expected.

PKGBUILD:17 npm install -g --user root --cache "${srcdir}/npm-cache" --prefix "$pkgdir"/usr "$srcdir"/"${source[0]##*/}"

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Christoph Stahl <christoph.stahl@tu-dortmund.de>
    
      2
    
      3pkgname="nodejs-formality-lang"
    
      4_pkgname=${pkgname#nodejs-}
    
      5pkgver=0.4.91
    
      6pkgrel=1
    
      7pkgdesc="An efficient proof-gramming language. It aims to be: Fast, Safe, Portable"
    
      8arch=("any")
    
      9url="https://github.com/moonad/Formality"
    
      10license=('MIT')
    
      11depends=("nodejs")
    
      12makedepends=("npm" "jq")
    
      13source=("https://registry.npmjs.org/$_pkgname/-/$_pkgname-$pkgver.tgz")
    
      14noextract=("${source[0]##*/}")
    
      15
    
      16package() {
    
      17    npm install -g --user root --cache "${srcdir}/npm-cache" --prefix "$pkgdir"/usr "$srcdir"/"${source[0]##*/}"
    
      18
    
      19    # Non-deterministic race in npm gives 777 permissions to random directories.
    
      20    # See https://github.com/npm/npm/issues/9359 for details.
    
      21    find "${pkgdir}"/usr -type d -exec chmod 755 {} +
    
      22    
    
      23    find "${pkgdir}" -name package.json -print0 | xargs -r -0 sed -i '/_where/d'
    
      24
    
      25    local tmppackage="$(mktemp)"
    
      26    local pkgjson="$pkgdir/usr/lib/node_modules/$_pkgname/package.json"
    
      27    jq '.|=with_entries(select(.key|test("_.+")|not))' "$pkgjson" > "$tmppackage"
    
      28    mv "$tmppackage" "$pkgjson"
    
      29    chmod 644 "$pkgjson"
    
      30
    
      31    # npm gives ownership of ALL FILES to build user 
    
      32    # https://bugs.archlinux.org/task/63396
    
      33    chown -R root:root "$pkgdir"
    
      34}
    
      35md5sums=('32aea0b1f215c7f313745f686e72906f')
    
      36

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