ltsa

maintainer gamezelda · 5 votes · scanned 2026-08-03 00:08:14.047287

LOW

Why flagged The package downloads a prebuilt JAR from a university-hosted URL, which is not on a standard code forge but is plausibly the official source; the software is Java-based and installed as data, with no obfuscated or remote code execution, making the supply-chain risk low despite the non-whitelisted host.

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-2507) reviewed the full PKGBUILD and judged it LOW (confidence 95%): The package downloads a prebuilt JAR from a university-hosted URL, which is not on a standard code forge but is plausibly the official source; the software is Java-based and installed as data, with no obfuscated or remote code execution, making the supply-chain risk low despite the non-whitelisted host.

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:24 source=("http://www.doc.ic.ac.uk/~jnm/book/$pkgname/${pkgname}tool.zip"

PKGBUILD

1 offending line(s) highlighted

      1# Maintainer: Joan Bruguera Micó <joanbrugueram@gmail.com>
    
      2# Contributor: Alexander Rødseth <rodseth@gmail.com>
    
      3# Contributor: Woof <woofy1231@hotmail.com>
    
      4# Contributor: catwell <catwell@archlinux.us>
    
      5
    
      6pkgname=ltsa
    
      7pkgver=3.0
    
      8pkgrel=10
    
      9pkgdesc="Labelled Transition System Analyser, a verification tool for concurrent systems"
    
      10arch=('any')
    
      11url="http://www.doc.ic.ac.uk/ltsa/"
    
      12# NB: (Joan Bruguera, 2019-04-21) I have send an e-mail to the authors (Robert
    
      13#     Chatley & Jeff Magee), and they have agreed to license this software under
    
      14#     the GPL.license. At this moment, this package still bundles the prebuilt
    
      15#     JAR, but since it's available, ideally, it should be built from source,
    
      16#     and then the license field should be changed to GPL
    
      17# PS: I haven't got the source at this moment or checked everything thorough yet.
    
      18#     If it's of any interest, I found the source of some unnamed version online at:
    
      19#     https://github.com/gabrielsr/ltsa/tree/master/ltsa/src/main/java/ic/doc/ltsa
    
      20license=('LicenseRef-unknown')
    
      21depends=('java-runtime' 'bash' 'libcups')
    
      22install=ltsa.install
    
      23makedepends=('imagemagick' 'gendesk')
    
      24source=("http://www.doc.ic.ac.uk/~jnm/book/$pkgname/${pkgname}tool.zip"
    
      25        "$pkgname.sh")
    
      26sha256sums=('9ed894c4f2ae22e119a4f48e6e3f36b38b08f8fe85a6ac85564f4c5045fe9046'
    
      27            '95c77c3e4896d56474b892adbb7c47908a4de16a1a819c262d28d3e0f42cfb13')
    
      28
    
      29build() {
    
      30  cd "$srcdir"
    
      31  gendesk -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --categories "Education;Java"
    
      32  echo "Generating $pkgname.png..."
    
      33  magick "${pkgname}tool/$pkgname.ico" "$pkgname.png"
    
      34}
    
      35
    
      36package() {
    
      37  cd "$srcdir/${pkgname}tool"
    
      38
    
      39  mkdir -p "$pkgdir/usr/share/$pkgname" "$pkgdir/usr/share/doc/$pkgname"
    
      40  echo "Packaging application..."
    
      41  cp -r -- *.jar "$pkgdir/usr/share/$pkgname"
    
      42  install -DTm755 "$srcdir/$pkgname.sh" "$pkgdir/usr/bin/$pkgname"
    
      43  echo "Packaging examples..."
    
      44  cp -r Chapter_examples "$pkgdir/usr/share/doc/$pkgname/examples"
    
      45  echo "Packaging icon and desktop shortcut..."
    
      46  cd "$srcdir"
    
      47  install -DTm644 "$pkgname.png" "$pkgdir/usr/share/pixmaps/$pkgname.png"
    
      48  install -DTm644 "$pkgname.desktop" \
    
      49    "$pkgdir/usr/share/applications/$pkgname.desktop"
    
      50}
    
      51
    
      52

Changes since previous scan

--- PKGBUILD @ 2026-07-25 00:13
+++ PKGBUILD @ 2026-08-03 00:08
@@ -5,7 +5,7 @@
 
 pkgname=ltsa
 pkgver=3.0
-pkgrel=9
+pkgrel=10
 pkgdesc="Labelled Transition System Analyser, a verification tool for concurrent systems"
 arch=('any')
 url="http://www.doc.ic.ac.uk/ltsa/"
@@ -17,14 +17,14 @@
 # PS: I haven't got the source at this moment or checked everything thorough yet.
 #     If it's of any interest, I found the source of some unnamed version online at:
 #     https://github.com/gabrielsr/ltsa/tree/master/ltsa/src/main/java/ic/doc/ltsa
-license=('unknown')
+license=('LicenseRef-unknown')
 depends=('java-runtime' 'bash' 'libcups')
 install=ltsa.install
 makedepends=('imagemagick' 'gendesk')
 source=("http://www.doc.ic.ac.uk/~jnm/book/$pkgname/${pkgname}tool.zip"
         "$pkgname.sh")
 sha256sums=('9ed894c4f2ae22e119a4f48e6e3f36b38b08f8fe85a6ac85564f4c5045fe9046'
-            '34f53ef6b330e49d3eaeb8754703a09ac98d95052bf6c08abb9f0161bb66ff84')
+            '95c77c3e4896d56474b892adbb7c47908a4de16a1a819c262d28d3e0f42cfb13')
 
 build() {
   cd "$srcdir"

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 15:29:50	MEDIUM	1
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