cryptominisat5-git

maintainer orphaned · 0 votes · scanned 2026-08-03 00:08:14.047287

LOW

Why flagged The package builds from a legitimate project source (GitHub) with normal AUR practices; the 'recently orphaned & re-adopted' flag is administrative and does not indicate malicious content.

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 90%): The package builds from a legitimate project source (GitHub) with normal AUR practices; the 'recently orphaned & re-adopted' flag is administrative and does not indicate malicious content.

1 higher static finding superseded - not the current verdict (shown for transparency)

MEDIUM Recently orphaned & re-adopted orphaned_readopted

This package was orphaned and re-adopted within the last 30 days — a window where ownership transfers can introduce malicious changes.

PKGBUILD

      1# Maintainer: Kyle Keen <keenerd@gmail.com>
    
      2
    
      3pkgname=cryptominisat5-git
    
      4pkgver=5.6.8.r171.gc1b9ed65
    
      5pkgrel=1
    
      6pkgdesc="A modern multi-threaded SAT solver.  With experimental features enabled."
    
      7arch=('x86_64')
    
      8url="https://github.com/msoos/cryptominisat/"
    
      9license=('MIT')
    
      10provides=('cryptominisat5')
    
      11conflicts=('cryptominisat5')
    
      12depends=('zlib' 'gcc-libs' 'boost-libs' 'intel-tbb')
    
      13makedepends=('git' 'python2' 'python' 'boost' 'cmake' 'vim' 'help2man')
    
      14# vim for xxd
    
      15optdepends=('python2: python2 module'
    
      16            'python: python module')
    
      17source=("git+https://github.com/msoos/cryptominisat/")
    
      18md5sums=('SKIP')
    
      19
    
      20# many fancy features requiring makedeps
    
      21# intel-tbb, python2, python3, m4ri, libmysqlclient, valgrind
    
      22
    
      23pkgver() {
    
      24    cd cryptominisat
    
      25    git describe --long --tags --match '*.*.*' | sed 's|^releases/||;s/\([^-]*-g\)/r\1/;s/-/./g'
    
      26}
    
      27
    
      28prepare() {
    
      29  cd cryptominisat
    
      30  sed -i 's/python$/python2/' python/Makefile
    
      31  sed -i 's/\(CRYPTOMINISAT4_EXECUTABLE\).*/\1 cryptominisat5\)/' *.cmake.in
    
      32}
    
      33
    
      34build() {
    
      35  cd cryptominisat
    
      36  mkdir -p build
    
      37  cd build
    
      38  # options to play with:
    
      39  # -DUSE_TBB -DUSE_ZLIB -DUSE_MYSQL
    
      40  # NOMYSQL NOSTATS NOM4RI ENABLE_TESTING
    
      41  cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr -DNOM4RI=on -DNOMYSQL=on \
    
      42    -DLARGEMEM=on -DUSE_GAUSS=on ../
    
      43  make
    
      44
    
      45  # no way to build both the py2 and py3 modules
    
      46  cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr -DNOM4RI=on -DNOMYSQL=on \
    
      47    -DFORCE_PYTHON2=on -DLARGEMEM=on -DUSE_GAUSS=on ../
    
      48  make
    
      49
    
      50  cd pycryptosat
    
      51  python2 setup.py build
    
      52  python3 setup.py build
    
      53}
    
      54
    
      55check() {
    
      56  cd "$srcdir/cryptominisat/build/pycryptosat"
    
      57  _TESTPATH="$PYTHONPATH:$PWD"
    
      58
    
      59  # smoke test
    
      60  ln -sf pycryptosat.so libcryptominisat5.so.5.6
    
      61  PYTHONPATH=$_TESTPATH python2 -c "from pycryptosat import Solver"
    
      62  PYTHONPATH=$_TESTPATH python3 -c "from pycryptosat import Solver"
    
      63
    
      64  # skip all the cmake stuff
    
      65  PYTHONPATH=$_TESTPATH python2 tests/test_pycryptosat.py
    
      66  PYTHONPATH=$_TESTPATH python3 tests/test_pycryptosat.py
    
      67}
    
      68
    
      69package() {
    
      70  cd cryptominisat
    
      71  install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
    
      72  cd build
    
      73  make install DESTDIR="$pkgdir"
    
      74  # todo, tweak the build tools to respect DESTDIR
    
      75  cd pycryptosat
    
      76  python2 setup.py install --record files.txt --root="${pkgdir}"
    
      77  python3 setup.py install --record files.txt --root="${pkgdir}"
    
      78}
    
      79
    
      80

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 01:56:03	MEDIUM	1
2026-07-18 00:14:48	LOW	2
2026-07-17 00:06:16	LOW	2
2026-07-16 00:05:41	LOW	2