nodejs-formality-lang

maintainer christofsteel · 0 votes · scanned 2026-08-03 00:08:14.047287

LOW

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-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