TUHH TUHH
Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
  • Institute
    Institute
    Institute
    Institute
    • Prof. Dr. Sibylle Schupp
    • People
      • Former members
      • Former Tutors
    • News
  • Research
    Research
    Research
    Research
    • Model Checking & Abstract Interpretation
    • Programming Languages & Program Reconstruction
    • Data Protection & Machine Learning
    • Publications
  • Lectures
    Lectures
    Lectures
    Lectures
    • Advanced Seminar
    • STS-Schedule
    • Courses
    • Previous terms
  • Student theses
    Student theses
    Student theses
    Student theses
    • Thesis projects
    • FAQ Thesis projects
  • Contact
    Contact
    Contact
    Contact
    • People
    • Reaching STS
  • Service
    Service
    Service
    Service
    • Infos and dates
    • Datenschutz
    • Education
    • STS-Schulprojekte
    • STS-Logo
  • Sitemap
More
Downloads
Installation
Case Study
STS > Research > Model Checking & Abstract Interpretation > Installation

BDDStab Installation

  • BDDStab main page
  • Downloads
  • Installation
  • Case Study

 

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

 

 

alt Logo
TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz