prolog-tags
maintainer hurufu
· 0 votes
· scanned 2026-08-03 00:08:14.047287
LOW
View on AUR ↗
Why flagged
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
LOW
AI review downgraded a static finding
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)
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: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
1
# Maintainer: Aleks Grabowski <hurufu+aur@gmail.com>
2
pkgname=prolog-tags
3
pkgver=19890305
4
pkgrel=1
5
pkgdesc='Create tags file for Prolog sources'
6
arch=(i686 x86_64)
7
url='https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/util/ptags/0.html'
8
license=(unknown)
9
conflicts=(ptags ptags-git)
10
source=('https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/util/ptags/ptags.tgz')
11
sha256sums=('7b568cee8a8b37c9a9171754c379818bfe08cc6c202bc1fb7e0294c43ced2ab4')
12
13
prepare() {
14
patch -d "$srcdir/ptags" -p1 < ../0001-Fix-compilation-on-Linux.patch
15
}
16
17
build() {
18
make -C ptags
19
}
20
21
package() {
22
make -C ptags DESTDIR="$pkgdir/" install
23
}
24
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-08-03 00:08:14 | LOW | 2 |
| 2026-08-02 00:16:08 | LOW | 2 |
| 2026-08-01 00:11:18 | LOW | 2 |
| 2026-07-31 00:14:10 | LOW | 2 |
| 2026-07-30 00:17:23 | LOW | 2 |
| 2026-07-29 00:25:53 | LOW | 2 |
| 2026-07-28 00:07:28 | LOW | 2 |
| 2026-07-27 00:24:32 | LOW | 2 |
| 2026-07-26 00:07:32 | LOW | 2 |
| 2026-07-25 00:13:44 | LOW | 2 |
| 2026-07-24 00:02:28 | LOW | 2 |
| 2026-07-23 00:14:47 | LOW | 2 |
| 2026-07-22 00:29:32 | LOW | 2 |
| 2026-07-21 00:24:15 | LOW | 2 |
| 2026-07-20 00:19:49 | LOW | 2 |
| 2026-07-19 00:17:08 | LOW | 2 |
| 2026-07-18 00:14:48 | LOW | 2 |
| 2026-07-17 00:06:16 | LOW | 2 |
| 2026-07-16 00:05:41 | LOW | 2 |
| 2026-07-15 00:09:25 | LOW | 2 |