atelierb-cssp-bin

MEDIUM

maintainer f4iey 0 votes scanned 2026-09-17 00:27:14.276658

View on AUR

Why flagged

The PKGBUILD downloads a prebuilt binary .deb from atelierb.eu (the official vendor website for the Atelier B industrial tool), extracts it, and installs it directly. The host is the legitimate upstream vendor, not a random personal or unofficial host, which reduces supply-chain risk compared to a truly unofficial source. However, the sha256sums is set to 'SKIP', meaning there is no integrity verification of the downloaded binary blob. A prebuilt binary with no checksum verification from any host — even an official one — represents a real supply-chain concern: if the host were compromised or the file silently replaced, users would install arbitrary code with no detection. The binary is executed at runtime by end users. This combination (prebuilt binary + SKIP checksum) justifies a medium rating rather than clean or low.

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:16 source=("https://www.atelierb.eu/wp-content/uploads/2024/09/${pkgname%-bin}-${pkgver}-debian-12.deb")

Medium AI review llm_review

An AI model (anthropic/claude-4.6-sonnet-20260217) reviewed this and agrees it is MEDIUM (confidence 72%): The PKGBUILD downloads a prebuilt binary .deb from atelierb.eu (the official vendor website for the Atelier B industrial tool), extracts it, and installs it directly. The host is the legitimate upstream vendor, not a random personal or unofficial host, which reduces supply-chain risk compared to a truly unofficial source. However, the sha256sums is set to 'SKIP', meaning there is no integrity verification of the downloaded binary blob. A prebuilt binary with no checksum verification from any host — even an official one — represents a real supply-chain concern: if the host were compromised or the file silently replaced, users would install arbitrary code with no detection. The binary is executed at runtime by end users. This combination (prebuilt binary + SKIP checksum) justifies a medium rating rather than clean or low.

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: f4iey <f4iey@f4iey.fr>
    
      2# Contributor: Mathieu Clabaut <mathieu "dot" clabaut "at" systerel.fr>
    
      3
    
      4pkgname=atelierb-cssp-bin
    
      5pkgver=24.04
    
      6pkgrel=1
    
      7pkgdesc="The industrial tool to efficiently deploy the B Method (CSP Educational Version)"
    
      8arch=('x86_64')
    
      9url="https://www.atelierb.eu"
    
      10license=('custom')
    
      11depends=('libxrandr' 'libxcursor' 'libxinerama' 'fontconfig' 'libsm' 'icu72-bin' 'tk' 'python' 'cmake' 'qt5-multimedia' 'qt5-quickcontrols2' 'qt5-quickcontrols' 'qt5-declarative')
    
      12optdepends=('texlive-bin' 'firefox')
    
      13options=('!strip')
    
      14provides=('atelierb')
    
      15conflicts=('atelierb')
    
      16source=("https://www.atelierb.eu/wp-content/uploads/2024/09/${pkgname%-bin}-${pkgver}-debian-12.deb")
    
      17sha256sums=('SKIP')
    
      18
    
      19package() {
    
      20  tar -xvf data.tar.* -C ${pkgdir}/
    
      21  install -Dm644 "$pkgdir/opt/${pkgname%-bin}-$pkgver/bin/AtelierB.desktop" "$pkgdir/usr/share/applications/AtelierB.desktop"
    
      22  # fix broken exec path
    
      23  sed -i "s/startAB/\/bin\/startAB/" "$pkgdir/usr/share/applications/AtelierB.desktop"
    
      24}
    
      25

Scan history

Scanned at (UTC)	Severity	Rules
2026-09-17 00:27:14	Medium	2
2026-09-16 00:03:17	Medium	2
2026-09-15 00:25:31	Medium	2
2026-09-14 00:27:57	Medium	2
2026-09-13 00:19:54	Medium	2
2026-09-12 00:25:17	Medium	2
2026-09-11 00:19:22	Medium	2
2026-09-10 00:22:44	Medium	2
2026-09-09 00:04:09	Medium	2
2026-09-08 00:18:08	Medium	2
2026-09-07 00:30:15	Medium	2
2026-09-06 00:17:06	Medium	2
2026-09-05 00:16:27	Medium	2
2026-09-04 00:03:13	Medium	2
2026-09-03 00:15:47	Medium	2
2026-09-02 00:02:31	Medium	2
2026-09-01 00:11:19	Medium	2
2026-08-31 00:19:57	Medium	2
2026-08-30 00:04:14	Medium	2
2026-08-29 00:29:17	Medium	2