dgks-prolog
The source is a historical Java-based Prolog implementation archived from Geocities via archive.org; the download is from a non-standard host but the content is non-executable source data, and the archive origin is plausible for a historical project.
Triggered rules
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 historical Java-based Prolog implementation archived from Geocities via archive.org; the download is from a non-standard host but the content is non-executable source data, and the archive origin is plausible for a historical project.
1 higher static finding superseded - not the current verdict (shown for transparency)
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:10
source=(https://web.archive.org/web/20091024003523/http://geocities.com/SiliconValley/Campus/7816/PrologO.zip)
PKGBUILD
1 offending line(s) highlighted# Maintainer: Alex Grabowski <hurufu+aur@gmail.com>
pkgname=dgks-prolog
pkgver=1.0
pkgrel=1
pkgdesc='Historical (1998) Prolog implementation written in Java'
arch=(any)
url='https://web.archive.org/web/20091027030150/http://geocities.com/SiliconValley/Campus/7816/'
license=(LGPL-3.0-or-later)
depends=(java-runtime)
source=(https://web.archive.org/web/20091024003523/http://geocities.com/SiliconValley/Campus/7816/PrologO.zip)
noextract=(PrologO.zip)
sha256sums=('3fc3fa7ca1397b97358be9c548643969299bb9ad358e92bb9000610f09bc89ce')
package() {
install -m644 -Dt "$pkgdir/usr/share/java/$pkgname" "$srcdir/PrologO.zip"
}
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-11-01 00:21:48 | Low | 2 |
| 2026-10-31 00:07:41 | Low | 2 |
| 2026-10-30 00:29:30 | Low | 2 |
| 2026-10-29 00:13:55 | Low | 2 |
| 2026-10-28 00:06:54 | Low | 2 |
| 2026-10-27 00:23:28 | Low | 2 |
| 2026-10-26 00:12:40 | Low | 2 |
| 2026-10-25 00:20:48 | Low | 2 |
| 2026-10-24 00:14:55 | Low | 2 |
| 2026-10-23 00:02:19 | Low | 2 |
| 2026-10-22 00:13:10 | Low | 2 |
| 2026-10-21 00:12:50 | Low | 2 |
| 2026-10-20 00:10:31 | Low | 2 |
| 2026-10-19 00:03:55 | Low | 2 |
| 2026-10-18 00:06:55 | Low | 2 |
| 2026-10-17 00:21:55 | Low | 2 |
| 2026-10-16 00:12:47 | Low | 2 |
| 2026-10-15 00:28:05 | Low | 2 |
| 2026-10-14 00:06:47 | Low | 2 |
| 2026-10-13 00:23:45 | Low | 2 |