Reisi turvaliselt Goblinti abil / Travel safely with Goblint
Organisatsiooni nimi
Programmeerimiskeeled ja süsteemid
Kokkuvõte
Arendame koos Müncheni Tehnikaülikooliga analüsaator Goblint, mida saab kasutada andmejooksude tuvastamiseks madala taseme koodis. Need on eriti kurjad bugid, mistõttu meil on Sinu abi vaja, et teha maailm turvalisemaks.
Gobint is a static analyzer that we develop together with the Technical University of Munich. The main use for the tool is to statically detect race conditions in C code. These are particularly malicious bugs, so we need your help to make the world a safer place.
http://plas.cs.ut.ee/Teemad/Goblint
Gobint is a static analyzer that we develop together with the Technical University of Munich. The main use for the tool is to statically detect race conditions in C code. These are particularly malicious bugs, so we need your help to make the world a safer place.
http://plas.cs.ut.ee/Teemad/Goblint
Lõputöö kaitsmise aasta
2016-2017
Juhendaja
Vesal Vojdani, Kalmer Apinis
Suhtlemiskeel(ed)
eesti keel, inglise keel
Nõuded kandideerijale
Tase
Bakalaureus, Magister
Märksõnad
Kandideerimise kontakt
Nimi
Vesal Vojdani
Tel
+372 737 5443
E-mail