nodejs-formality-lang

LOW

maintainer christofsteel 0 votes scanned 2026-11-01 00:21:48.120785

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