"Spiega cos'è l'analisi statica."
L'analisi statica è un tipo di test del software che prevede l'esame del codice sorgente di un programma senza eseguirlo. Tipicamente, comporta l'esame di tutti i simboli, i nomi e i token presenti nel codice al fine di individuare errori e vulnerabilità che potrebbero essere sfruttati da un attaccante. L'analisi statica può essere utilizzata per identificare errori comuni, come l'uso di nomi di variabili errati, API non sicure e interazioni non sicure con altri programmi. Può anche essere utilizzata per rilevare codice maligno, come backdoor o bombe a tempo, che potrebbero essere nascosti nel codice sorgente.