proverif

LOW

maintainer gilcu3 3 votes scanned 2026-09-17 00:27:14.276658

View on AUR

Why flagged

The source is a tarball from a project-affiliated academic host, not a personal or file-sharing site, and contains buildable source code; the non-standard host is plausibly official for the project, so the risk is low despite not being on a whitelist.

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 a tarball from a project-affiliated academic host, not a personal or file-sharing site, and contains buildable source code; the non-standard host is plausibly official for the project, so the risk is low despite not being on a whitelist.

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:14 source=("http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif$pkgver.tar.gz")

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: gilcu3
    
      2# Previous Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
    
      3# Contributor: DuckSoft <realducksoft at gmail>
    
      4pkgname=proverif
    
      5pkgver=2.05
    
      6pkgrel=1
    
      7pkgdesc='Cryptographic protocol verifier in the formal model'
    
      8arch=('i686' 'x86_64')
    
      9url='http://prosecco.gforge.inria.fr/personal/bblanche/proverif/'
    
      10license=('GPL')
    
      11depends=('ocaml')
    
      12makedepends=('ocamlbuild' 'ocaml-findlib')
    
      13optdepends=('graphviz: for displaying graphs of found attacks')
    
      14source=("http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif$pkgver.tar.gz")
    
      15sha1sums=('bbcfcc49d0199e111292da3754b95ae7e7404db4')
    
      16sha256sums=('4871f53c32ab4a04669a060c4886ba5d9080496963fb980a9a62d2c429ceabc4')
    
      17
    
      18build() {
    
      19  cd "$srcdir/proverif$pkgver"
    
      20  ./build -nointeract
    
      21}
    
      22
    
      23check() {
    
      24  cd "$srcdir/proverif$pkgver"
    
      25
    
      26  msg2 "Running typed tests..."
    
      27  ./test test typed
    
      28
    
      29  msg2 "Running untyped tests..."
    
      30  ./test test untyped
    
      31}
    
      32
    
      33package() {
    
      34  cd "$srcdir/proverif$pkgver"
    
      35
    
      36  msg2 "Copying binaries..."
    
      37  install -Dm755 -vt "$pkgdir/usr/bin/" proverif{,totex}
    
      38
    
      39  msg2 "Copying documentation..."
    
      40  install -Dm644 -vt "$pkgdir/usr/share/doc/proverif/" README CHANGES docs/*
    
      41  install -Dm644 -vt "$pkgdir/usr/share/licenses/proverif/" LICENSE
    
      42
    
      43  msg2 "Copying examples..."
    
      44  mkdir -p "$pkgdir/usr/share/proverif/examples/"
    
      45  cp --preserve=m,t -Rvt "$pkgdir/usr/share/proverif/examples/" examples/*
    
      46
    
      47  msg2 "Copying Emacs mode..."
    
      48  mkdir -p "$pkgdir/usr/share/emacs/site-lisp/"
    
      49  install -Dm644 -v emacs/proverif.el "$pkgdir/usr/share/emacs/site-lisp/proverif.el"
    
      50}
    
      51

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