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