Reisi turvaliselt Goblinti abil / Travel safely with Goblint

Organization
Programmeerimiskeeled ja süsteemid
Abstract
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
Graduation Theses defence year
2016-2017
Supervisor
Vesal Vojdani, Kalmer Apinis
Spoken language (s)
Estonian, English
Requirements for candidates
Level
Bachelor, Masters
Keywords
#plas

Application of contact

 
Name
Vesal Vojdani
Phone
+372 737 5443
E-mail
vesal@ut.ee