apron

LOW

maintainer orphaned 2 votes scanned 2026-09-17 00:27:14.276658

View on AUR

Why flagged

The source is downloaded from the project's official domain (apron.cri.ensmp.fr), which is not on standard whitelists but is legitimate for the project; building from official source is normal AUR behavior and poses no inherent risk.

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 source is downloaded from the project's official domain (apron.cri.ensmp.fr), which is not on standard whitelists but is legitimate for the project; building from official source is normal AUR behavior and poses no inherent risk.

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

Medium source=() URL on a non-standard host source_untrusted_domain

One or more source=() URLs point to a host outside the trusted allowlist (github.com, gitlab.com, codeberg.org, pypi.org, …).

PKGBUILD:15 source=("http://apron.cri.ensmp.fr/library/apron-$pkgver.tgz"

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Maxime Arthaud <maxime@arthaud.me>
    
      2# Author: Vivien Maisonneuve
    
      3# Category: science
    
      4
    
      5pkgname='apron'
    
      6pkgver=0.9.10
    
      7pkgrel=2
    
      8pkgdesc='APRON numerical abstract domain library'
    
      9arch=('i686' 'x86_64')
    
      10url='http://apron.cri.ensmp.fr/library/'
    
      11license=('LGPL2')
    
      12provides=('apron')
    
      13depends=('gmp>=5' 'mpfr>=3' 'ppl')
    
      14makedepends=('sed')
    
      15source=("http://apron.cri.ensmp.fr/library/apron-$pkgver.tgz"
    
      16        '0001-Remove-strdup-implementation.patch'
    
      17        '0002-Fix-invalid-operands-to-binary-expression.patch')
    
      18sha256sums=('b108de2f4a8c4ecac1ff76a6d282946fd3bf1466a126cf5344723955f305ec8e'
    
      19            'fe8d85b1f2db6dad149209324b32a8e81deab6868147e71bcfe4c8df57303fc9'
    
      20            'f624c2152ac6c621f92d1cbb58a891701e938d44dc0fde6a1b80b4a7d3c8ba43')
    
      21
    
      22prepare() {
    
      23  cd "$srcdir/apron-$pkgver"
    
      24  sed \
    
      25    -e 's|^APRON_PREFIX *=.*$|APRON_PREFIX=/usr|' \
    
      26    -e 's|^HAS_OCAML *=.*$|HAS_OCAML=|' \
    
      27    -e 's|^HAS_OCAMLOPT *=.*$|HAS_OCAMLOPT=|' \
    
      28    -e 's|^OCAMLFIND *=.*$|OCAMLFIND=|' \
    
      29    -e 's|^# HAS_PPL *=.*$|HAS_PPL=1|' \
    
      30    Makefile.config.model > Makefile.config
    
      31  patch -p0 < ../0001-Remove-strdup-implementation.patch
    
      32  patch -p0 < ../0002-Fix-invalid-operands-to-binary-expression.patch
    
      33}
    
      34
    
      35build() {
    
      36  cd "$srcdir/apron-$pkgver"
    
      37  make -j1
    
      38}
    
      39
    
      40package() {
    
      41  cd "$srcdir/apron-$pkgver"
    
      42  make APRON_PREFIX="$pkgdir"/usr install
    
      43
    
      44  # fix include/ permissions
    
      45  find "$pkgdir"/usr/include -type d -exec chmod 755 '{}' ';'
    
      46  find "$pkgdir"/usr/include -type f -exec chmod 644 '{}' ';'
    
      47
    
      48  # remove test binaries
    
      49  rm "$pkgdir"/usr/bin/*test*
    
      50
    
      51  # remove ocaml stuff
    
      52  rm "$pkgdir"/usr/lib/*.ml
    
      53  rm "$pkgdir"/usr/lib/*.mli
    
      54  rm "$pkgdir"/usr/lib/*.idl
    
      55}
    
      56

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