Credo che, sinceramente, l'analisi statica di un programma "ad eventi" sia impossibile; gli alberi di copertura di codice non prevedono cambi di contesto in corso d'opera. Temo che dovrai lasciar perdere od eseguire un'analisi parziale; l'alternativa è analizzarlo in esecuzione, sperando che l'utente attivi tutte le opzioni possibili (il problema è analogo per il debug).

Ciao