Esecuzione di un progetto con probe applicati staticamente

Dopo aver applicato staticamente i probe ai file di classe e ai file JAR per un progetto, eseguire il progetto per raccogliere i dati.

Prerequisito: Applicare i probe staticamente dalla riga comandi
Per raccogliere dati, procedere come segue:
Nota: per alcuni tipi di programmi di destinazione (compreso lo stesso Eclipse), a causa dei caricatori di classi personalizzati, i file delle classi generate devono essere contenuti in una cartella che si trovi nel percorso classi di avvio anziché nel percorso classi.