L'analisi statica è un tipo di test del software che prevede l'esame del codice sorgente di un programma senza eseguire il programma. In genere comporta l'esame di tutti i simboli, i nomi e i token nel codice per cercare errori e vulnerabilità che potrebbero essere sfruttati da un utente malintenzionato. 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 utilizzato per rilevare codice dannoso, come backdoor o bombe a orologeria, che potrebbero essere nascosti nel codice sorgente.
Spiega cos'è l'analisi statica.