fdr

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

MEDIUM

Why flagged The package downloads a prebuilt binary tarball from dl.cocotec.io. FDR4 (Failures-Divergences Refinement checker) is a commercial tool from Oxford University's CS department, and cocotec.io appears to be the official distribution host for FDR4 downloads (the tool is distributed by Cocotec Ltd, the commercial spin-off). The sha256sum is pinned, which mitigates tampering risk somewhat. However, this is still a prebuilt closed-source binary from a third-party commercial host rather than a well-known official mirror, and the binary is directly executed. The risk is real but not clearly malicious — it fits the medium category: an executed binary from a non-mainstream host where supply-chain compromise would result in code execution. The sha256 pin reduces but does not eliminate risk (the pin itself could be wrong or the host could have been compromised at the time the PKGBUILD was written).

Triggered rules

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:11 source=('https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz')

MEDIUM AI review llm_review

An AI model (anthropic/claude-4.6-sonnet-20260217) reviewed this and agrees it is MEDIUM (confidence 72%): The package downloads a prebuilt binary tarball from dl.cocotec.io. FDR4 (Failures-Divergences Refinement checker) is a commercial tool from Oxford University's CS department, and cocotec.io appears to be the official distribution host for FDR4 downloads (the tool is distributed by Cocotec Ltd, the commercial spin-off). The sha256sum is pinned, which mitigates tampering risk somewhat. However, this is still a prebuilt closed-source binary from a third-party commercial host rather than a well-known official mirror, and the binary is directly executed. The risk is real but not clearly malicious — it fits the medium category: an executed binary from a non-mainstream host where supply-chain compromise would result in code execution. The sha256 pin reduces but does not eliminate risk (the pin itself could be wrong or the host could have been compromised at the time the PKGBUILD was written).

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Sauyon Lee <arch@sauyon.com>
    
      2# Contributor: Douglas Creager <dcreager@dcreager.net>
    
      3pkgname=fdr
    
      4pkgver=4.2.7
    
      5pkgrel=1
    
      6pkgdesc="Refinement checker for CSP"
    
      7arch=('x86_64')
    
      8url="https://www.cs.ox.ac.uk/projects/fdr/"
    
      9license=('custom')
    
      10depends=('libtinfo5' 'openssl-1.0' 'gcc-libs' 'qt5-base' 'qt5-3d' 'qt5-x11extras' 'libxcb' 'mesa' 'libffi6' 'libgl' 'libdrm')
    
      11source=('https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz')
    
      12sha256sums=('1032b31f2974132e91cb1458341028894d40fb6bb8a10a9d4d986af25ff85231')
    
      13
    
      14package() {
    
      15  install -d "${pkgdir}/opt/fdr"
    
      16  cp -r "${srcdir}/fdr/"{bin,lib} "${pkgdir}/opt/fdr"
    
      17  for c in libstdc++* libQt5* libxcb* libglapi* libffi* libGL* libdrm*; do
    
      18    find "${pkgdir}/opt/fdr/lib/" -name "$c" -delete
    
      19  done
    
      20  rm -rf "${pkgdir}/opt/fdr/lib/qt_plugins"
    
      21  ln -s "../../../usr/lib/qt/plugins" "${pkgdir}/opt/fdr/lib/qt_plugins"
    
      22  install -d "${pkgdir}/usr"
    
      23  cp -r "${srcdir}/fdr/include" "${pkgdir}/usr"
    
      24
    
      25  install -d "${pkgdir}/usr/bin"
    
      26  for c in cspmchecker cspmcheckeri fdr4 refines; do
    
      27    ln -s "../../opt/fdr/bin/$c" "${pkgdir}/usr/bin"
    
      28  done
    
      29
    
      30  install -d "${pkgdir}/usr/lib"
    
      31  # for c in libfdr.so libcspm_process_compiler.so libprocess_compiler.so \
    
      32  #                    librefines.so librefines_licensing.so libcsp_operators.so; do
    
      33  #   ln -s "../../opt/fdr/lib/$c" "${pkgdir}/usr/lib"
    
      34  # done
    
      35  cd "${pkgdir}/opt/fdr/lib"
    
      36  find . -mindepth 1 -maxdepth 1 -exec ln -s {} "${pkgdir}/usr/lib" \;
    
      37
    
      38  install -d "${pkgdir}/usr/share/doc/fdr"
    
      39  cp -r "${srcdir}/fdr/fdr-examples" "${pkgdir}/usr/share/doc/fdr/examples"
    
      40}
    
      41
    
      42# vim:set ts=2 sw=2 et:
    
      43

Scan history

Scanned at (UTC)	Severity	Rules
2026-08-03 00:08:14	MEDIUM	2
2026-08-02 00:16:08	MEDIUM	2
2026-08-01 00:11:18	MEDIUM	2
2026-07-31 00:14:10	MEDIUM	2
2026-07-30 00:17:23	MEDIUM	2
2026-07-29 00:25:53	MEDIUM	2
2026-07-28 00:07:28	MEDIUM	2
2026-07-27 00:24:32	MEDIUM	2
2026-07-26 00:07:32	MEDIUM	2
2026-07-25 00:13:44	MEDIUM	2
2026-07-24 00:02:28	MEDIUM	2
2026-07-23 00:14:47	MEDIUM	2
2026-07-22 00:29:32	MEDIUM	2
2026-07-21 00:24:15	MEDIUM	2
2026-07-20 00:19:49	MEDIUM	2
2026-07-19 00:17:08	MEDIUM	2
2026-07-18 00:14:48	MEDIUM	2
2026-07-17 00:06:16	MEDIUM	2
2026-07-16 00:05:41	MEDIUM	2
2026-07-15 00:09:25	MEDIUM	2