proverif

maintainer gilcu3 · 3 votes · scanned 2026-08-03 00:08:14.047287

LOW

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