ltsa

LOW

maintainer gamezelda 5 votes scanned 2026-09-17 00:27:14.276658

View on AUR

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

Scan history

Scanned at (UTC)	Severity	Rules
2026-09-17 00:27:14	Low	2
2026-09-16 00:03:17	Low	2
2026-09-15 00:25:31	Low	2
2026-09-14 00:27:57	Low	2
2026-09-13 00:19:54	Low	2
2026-09-12 00:25:17	Low	2
2026-09-11 00:19:22	Low	2
2026-09-10 00:22:44	Low	2
2026-09-09 00:04:09	Low	2
2026-09-08 00:18:08	Low	2
2026-09-07 00:30:15	Low	2
2026-09-06 00:17:06	Low	2
2026-09-05 00:16:27	Low	2
2026-09-04 00:03:13	Low	2
2026-09-03 00:15:47	Low	2
2026-09-02 00:02:31	Low	2
2026-09-01 00:11:19	Low	2
2026-08-31 00:19:57	Low	2
2026-08-30 00:04:14	Low	2
2026-08-29 00:29:17	Low	2