apron

maintainer orphaned · 2 votes · scanned 2026-08-03 00:08:14.047287

LOW

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