apron

LOW

maintainer orphaned 2 votes scanned 2026-11-01 00:21:48.120785

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