Za većinu Linux distribucija je dostupan paket gdb. gdb je za neke distribucije deo paketa za razvoj (npr. build-essential za Ubuntu).
Popularne modifikacije i front-end prikazi informacija koje gdb pruža:
Instalirati QtCreator sa zvanične stranice. Alternativno, moguće je i instalirati ceo Qt radni okvir koji uključuje i QtCreator.
Za neke Linux distribucije je dostupan paket qt<VERZIJA>-creator.
Za pokretanje primera su dovoljni JDK i Maven. Na primer, za Ubuntu OS, dovoljno je preuzeti OpenJDK i Maven:
$ apt-get install default-jdk # JDK 8, 11, 17, 21 su LTS
$ apt-get install openjdk-17-jdk # alternativno, specificna verzija
$ java -version # proveriti instalaciju
$ apt-get install maven
$ mvn -versionZa neke alate i skripte je neophodno postaviti JAVA_HOME promenljivu okruženja na direktorijum JDK instalacije:
$ export JAVA_HOME=/path/to/jdk
$ $JAVA_HOME/bin/java -versionObično se $JAVA_HOME/bin postavi na PATH kako bi se java* alati lakše pokretali:
$ export PATH=$PATH:$JAVA_HOME/bin
$ which java
/path/to/jdk/bin/java
$ java -versiongcov dolazi podrazumevano uz gcc kompajler. Alat lcov je obično dostupan u okviru paketa sa istim imenom. Instalacija na Ubuntu distribuciji bi, na primer, izgledala ovako:
sudo apt-get install lcov
Da bi se Gradle instalirao, neophodno je na sistemu imati verziju JDK-a veću od 8. Gradle se potom jednostavno instalira kroz gradle za većinu popularnih Linux distribucija. Alternativno, moguće je preuzeti unapred spremne Gradle artifakte i ručno instalirati Gradle. Primeri pretpostavljaju da je izvršivi fajl (ili alias) gradle dostupan na PATH-u i pokreće Gradle alat.
Neobavezno za ovaj primer, za laku organizaciju u okruženju sa više različitih JDK verzija, može se koristiti alat SDKMAN. Gradle se može instalirati korišćenjem SDKMAN-a:
$ sdk install gradle <verzija>Na primer:
$ sdk install gradle 7.5.1xUnit i NUnit se jednostavno instaliraju sa NuGet repozitorijuma (xUnit, NUnit) ili uz pomoć IDE-a, ili kroz komande:
$ dotnet add package xunit --version 2.4.2
$ dotnet add package NUnit --version 3.13.3Moq se jednostavno instalira sa NuGet repozitorijuma ili uz pomoć IDE-a, ili kroz komandu:
$ dotnet add package Moq --version 4.18.2Valgrind se na većini Linux distribucija može instalirati kroz paket valgrind. Npr., za Ubuntu:
$ sudo apt-get install valgrindZa grafički prikaz izveštaja nekih Valgrind-ovih alata može se koristiti program KCachegrind. Instalacija, npr., za Ubuntu:
$ sudo apt-get install kcachegrindPerf se na većini Linux distribucija može instalirati kroz paket perf. Npr., za Ubuntu:
$ sudo apt-get install perfKLEE se može instalirati prateći uputstva na zvaničnoj stranici. Preporučeno je koristiti Docker kontejner:
$ docker pull klee/klee:3.0
$ docker run --rm -ti --ulimit='stack=-1:-1' klee/klee:3.0CBMC se na većini Linux distribucija može instalirati kroz paket cbmc. Npr., za Ubuntu:
$ sudo apt-get install cbmcClang se na većini Linux distribucija može instalirati kroz paket clang. Npr., za Ubuntu:
$ sudo apt-get install clangscan-build alat za statičku analizu i druge Clang alate koje koristimo kroz interfejs komandne linije na većini Linux distribucija dolaze zajedno sa Clang-om. Za starije verzije je moguće da je neophnodno instalirati paket clang-tools.
Napomena za alat scan-build iz clang-tools skupa alata: Korisnici Windows operativnog sistema treba da instaliraju Perl kako bi scan-build alat funkcionisao. Na Windows sistemima scan-build se isporučuje kao Batch skript scan-build.bat. Više informacija o specifičnostima za Windows OS u kontekstu korišćenja scan-build alata je moguće naći u scan-build priručniku.
Uputstvo za installaciju Dafny jezika se može naći unutar Dafny repozitorijuma.