Automated static analysis

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. Automated static analysis
Mila Dalla Preda
Professore ordinario
Isabella Mastroeni
Professore associato
Michele Pasqua
Ricercatore a tempo determinato
Nicola Fausto Spoto
Professore associato
Competenze
Argomento Persone Descrizione
Analisi statica di programmi Mila Dalla Preda
Isabella Mastroeni
Michele Pasqua
Nicola Fausto Spoto
Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi.

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi