Analisi e sviluppo di tecniche di analisi semantica di codice Java industriale

Starting date
July 1, 2015
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Spoto Nicola Fausto
Keyword
analisi statica, interpretazione astratta, spring, hibernate, Android

Il progetto studierà e svilupperà delle tecniche di analisi statica semantica applicabili a codice Java industriale, in particolare realizzato con librerie Spring, Hibernate e Android. La ricerca mira a rendere tali tecniche fruibili in modo semplice, efficace, affidabile e applicabile al codice scritto con le librerie più usate in ambito industriale, tramite un servizio di analisi remota via web, accessibile tramite sito internet. Le problematiche della ricerca riguarderanno la possibilità di ottenere analisi precise ed efficienti in presenza delle librerie sopra citate, che potenzialmente introducono rischi di degradazione della precisione. Le stesse analisi già esistenti in Julia saranno da riconsiderare per tali librerie, poiché potrebbero assumere un significato diverso in tale contesto o avere delle possibilità di utilizzo e di segnalazione di warning diverse da quelle che hanno per il codice Java standard.
 

Sponsors:

Julia s.r.l.
Funds: assigned and managed by the department

Project participants

Nicola Fausto Spoto
Associate Professor
Research areas involved in the project
Ingegneria del Software e verifica formale
Software organization and properties

Activities

Research facilities

Share