verona

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

LOW

Why flagged The pip install fetches a testing utility (OutputCheck) from PyPI, not a core dependency or executable code, and is run during prepare; the main build uses verified source from Microsoft's official repository.

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 pip install fetches a testing utility (OutputCheck) from PyPI, not a core dependency or executable code, and is run during prepare; the main build uses verified source from Microsoft's official repository.

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

MEDIUM pip install of an external package pip_install_external

`pip install <package>` fetches an unpinned package from PyPI at build time, outside source=() and makepkg's checksums.

PKGBUILD:21 python3 -m pip install OutputCheck --user

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Yuhanun Citgez <y dot citgez at student dot utwente dot nl>
    
      2# Co-maintainer: Hans Goor <me at eyedevelop dot org>
    
      3
    
      4pkgname=verona
    
      5pkgver=8
    
      6pkgrel=2
    
      7commit_hash=9cab6b27490fdae34cf67454549abe8c06be345a
    
      8pkgdesc="Microsoft's Verona programming language interpreter and compiler"
    
      9arch=('x86_64')
    
      10url='https://github.com/microsoft/verona'
    
      11licence=('MIT')
    
      12depends=('python')
    
      13makedepends=('python-pip' 'cmake' 'ninja' 'clang' 'llvm')
    
      14provides=('veronac' 'verona-interpreter')
    
      15source=("git+https://github.com/microsoft/verona#commit=$commit_hash")
    
      16md5sums=('SKIP')
    
      17
    
      18prepare() {
    
      19    cd verona
    
      20    git submodule update --init --recursive
    
      21    python3 -m pip install OutputCheck --user
    
      22}
    
      23
    
      24build() {
    
      25    cd verona
    
      26    mkdir build_ninja
    
      27    cd build_ninja
    
      28    cmake .. -GNinja -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_COMPILER=/usr/bin/clang++
    
      29    ninja install
    
      30}
    
      31
    
      32check() {
    
      33    cd verona/build_ninja
    
      34    ctest -j $(nproc)
    
      35}
    
      36
    
      37package() {
    
      38    cd verona/build_ninja
    
      39    mkdir -p "${pkgdir}"/opt/verona
    
      40    install -Dm755 dist/veronac "${pkgdir}"/opt/verona/veronac
    
      41    install -Dm755 dist/interpreter "${pkgdir}"/opt/verona/verona-interpreter
    
      42
    
      43    mkdir -p "${pkgdir}"/usr/bin
    
      44    ln -s /opt/verona/veronac "${pkgdir}"/usr/bin/veronac
    
      45    ln -s /opt/verona/verona-interpreter "${pkgdir}"/usr/bin/verona-interpreter
    
      46
    
      47    cp -r ../src/stdlib "${pkgdir}"/opt/verona/stdlib
    
      48}
    
      49

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