BDDStab Installation

 

z.B. für Ubuntu

Scala Build Tool installieren

echo "deb https://dl.bintray.com/sbt/debian /" | sudo tee -a /etc/apt/sources.list.d/sbt.list sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823 sudo apt-get update sudo apt-get install sbt

Oracle Java installieren:
sudo add-apt-repository ppa:webupd8team/java sudo apt-get update sudo apt install oracle-java8-set-default

dann siehe die BDDStab github Anleitung...

für jackstab
jackstab-master.zip library von github runterladen und auspacken

./compile.sh

Danach z.B. ./jackstab -m /bin/... (32bitprograms only) --cpa fz