prolog-tags
The source is hosted on a legitimate academic institution's domain (cs.cmu.edu), which is a plausible and trustworthy host for a decades-old academic utility; the software is built from source and not executed remotely, posing minimal risk despite the non-whitelisted but reasonable domain.
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 hosted on a legitimate academic institution's domain (cs.cmu.edu), which is a plausible and trustworthy host for a decades-old academic utility; the software is built from source and not executed remotely, posing minimal risk despite the non-whitelisted but reasonable domain.
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://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/util/ptags/ptags.tgz')
PKGBUILD
1 offending line(s) highlighted# Maintainer: Aleks Grabowski <hurufu+aur@gmail.com>
pkgname=prolog-tags
pkgver=19890305
pkgrel=1
pkgdesc='Create tags file for Prolog sources'
arch=(i686 x86_64)
url='https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/util/ptags/0.html'
license=(unknown)
conflicts=(ptags ptags-git)
source=('https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/util/ptags/ptags.tgz')
sha256sums=('7b568cee8a8b37c9a9171754c379818bfe08cc6c202bc1fb7e0294c43ced2ab4')
prepare() {
patch -d "$srcdir/ptags" -p1 < ../0001-Fix-compilation-on-Linux.patch
}
build() {
make -C ptags
}
package() {
make -C ptags DESTDIR="$pkgdir/" install
}
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 |