Analisi du NUllness via weB Interattivo (ANUBI) - Joint Projects 2009

Starting date
February 1, 2009
Duration (months)
12
Departments
Computer Science
Managers or local contacts
Mastroeni Isabella

In this project we will develop a web based interface for the static analysis of nullness properties of Java-like languages. This will result in a system that can be used on-line, by providing the compiled code to analyze. the analyzer will perform the analysis on the server and present the list warnings on the screen. Warnings will have to be ordered on the basis of kind and relevance and presented in a way that is useful to the user

Sponsors:

Ateneo
Funds: assigned and managed by the department
Syllabus: PROGATENEO - Progetti d'Ateneo
Julia s.r.l.
Funds: assigned and managed by the department
Syllabus: PROGATENEO - Progetti d'Ateneo

Project participants

Isabella Mastroeni
Associate Professor

Activities

Research facilities