LiSA, il framework di Ca’ Foscari per la verifica del software, conquista il terzo posto a SVCOMP 2026 nella categoria Java. Progetto co-finanziato da SERICS, si basa su interpretazione astratta. Integrato dalla NSA in Ghidra, si candida come tecnologia italiana per l’analisi statica del codice
L'articolo Analisi statica del codice: con LiSA la tecnologia italiana sale sul podio mondiale proviene da Cyber Security 360.