geotortue-bin

maintainer Salamandar · 1 votes · scanned 2026-08-03 00:08:14.047287

MEDIUM

Why flagged The PKGBUILD downloads a prebuilt .deb binary from geotortue.free.fr, which is a personal/project host on the Free.fr hosting platform. The binary is a Java application packaged as a .deb and extracted directly into the package directory. While a sha512sum is provided (providing some integrity guarantee against accidental corruption or simple MITM), the source is an unofficial personal host with no reproducible build from source. If the host were compromised or the file replaced, the sha512sum would catch substitution only if the checksum itself is trustworthy — which it is, since it's in the PKGBUILD in the AUR. The real concern is that this is a prebuilt binary blob from a non-authoritative personal hosting service with no way to verify it matches any published source. This is a genuine supply-chain concern (executed binary from unofficial host), consistent with a MEDIUM rating. There is no evidence of active malice, obfuscation, or piracy.

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:15 'http://geotortue.free.fr/deploy/deb/geotortue-3.14.02.19.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 .deb binary from geotortue.free.fr, which is a personal/project host on the Free.fr hosting platform. The binary is a Java application packaged as a .deb and extracted directly into the package directory. While a sha512sum is provided (providing some integrity guarantee against accidental corruption or simple MITM), the source is an unofficial personal host with no reproducible build from source. If the host were compromised or the file replaced, the sha512sum would catch substitution only if the checksum itself is trustworthy — which it is, since it's in the PKGBUILD in the AUR. The real concern is that this is a prebuilt binary blob from a non-authoritative personal hosting service with no way to verify it matches any published source. This is a genuine supply-chain concern (executed binary from unofficial host), consistent with a MEDIUM rating. There is no evidence of active malice, obfuscation, or piracy.

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Salamandar <felix@piedallu.me>
    
      2
    
      3pkgname=geotortue-bin
    
      4pkgver=3.14.02.19
    
      5pkgrel=1
    
      6pkgdesc='Programmation LOGO'
    
      7arch=('any')
    
      8url="http://geotortue.free.fr"
    
      9license=('GPLv3')
    
      10groups=('math')
    
      11depends=(
    
      12  'jre8-openjdk'
    
      13)
    
      14source=(
    
      15  'http://geotortue.free.fr/deploy/deb/geotortue-3.14.02.19.deb'
    
      16)
    
      17sha512sums=(
    
      18  'b69a25a031f4aeb09758093e32300dd3beb638c2a6b58e30ef4a97ff303cc53884f0ef9cbcadbc06bec871fba42aaae16472d39df9f79dbd994045147620b3fd'
    
      19)
    
      20
    
      21package(){
    
      22  # Extract package data
    
      23  tar xf data.tar.xz -C "${pkgdir}"
    
      24}
    
      25

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