proverif

LOW

maintainer gilcu3 3 votes scanned 2026-11-01 00:21:48.120785

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