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.
