"Eesti Teadusfondi uurimistoetus" projekt ETF6713
ETF6713 (ETF6713) "Programmide staatiline analüüs (1.01.2006−31.12.2009)", Varmo Vene, Tartu Ülikool, Tartu Ülikool, Matemaatika-informaatikateaduskond, Tartu Ülikool, Matemaatika-informaatikateaduskond.
ETF6713
Programmide staatiline analüüs
Static Analysis of Programs
1.01.2006
31.12.2009
Teadus- ja arendusprojekt
Eesti Teadusfondi uurimistoetus
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.7. Info- ja kommunikatsioonitehnoloogia 2.2. Elektroenergeetika, elektroonika (elektroenergeetika, elektroonika, sidetehnika, arvutitehnika ja teised seotud teadused)50,0
4. Loodusteadused ja tehnika4.6. Arvutiteadused 1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)50,0
AsutusRollPeriood
Tartu Ülikoolkoordinaator01.01.2006−31.12.2009
Tartu Ülikool, Matemaatika-informaatikateaduskondkoordinaator01.01.2006−31.12.2009
Tartu Ülikool, Matemaatika-informaatikateaduskondkoordinaator01.01.2006−31.12.2009
PerioodSumma
01.01.2006−31.12.2006126 000,00 EEK (8 052,87 EUR)
01.01.2007−31.12.2007126 000,00 EEK (8 052,87 EUR)
01.01.2008−31.12.2008126 000,00 EEK (8 052,87 EUR)
01.01.2009−31.12.2009120 960,00 EEK (7 730,75 EUR)
31 889,36 EUR

Projekti valdkonnaks on formaalsemantikad ning nende rakendamine programmide staatilisel analüüsil ja teisendamisel. Põhieesmärkideks on välja töötada uusi meetodeid programmide analüüsiks, teisendamiseks ja optimiseerimiseks, samuti korrektsuse kontrolliks ning ressursivajaduste hindamiseks, uurida erinevate meetodite kombineerimist, koosmõjusid ning rakendada saadud tulemusi, s.h. turvalise infovoo tagamiseks programmikeeltes.
The subject area of this project is the semantics of programming languages and its application for static program analysis and program transformation. The main goals are to develop new analyses and transformations for program optimization but also for validation and resource prediction, to study the combinations of multiple analyses and transformations which lead to mutually beneficial interactions, to study the semantics and static analyses for secure information flow in programming languages.