Code Analysis Tools e Inter-Type-Declarations

Question

Ho un progetto di maven generato da Spring Roo e uso diversi strumenti (checkstyle, pmd ecc.) Per raccogliere informazioni sul mio progetto. (Vale a dire che sto usando codehaus' sonar per questo)

Roo makes heavy use of AspectJ Inter Type Declarations (ITD) per separare problemi come la persistenza, JavaBeans-getter/setter ecc

Questi DTI sono tessuti in a tempo di compilazione in modo da strumenti come checkstyle e PMD (che lavorano su livello sorgente) hanno molti falsi positivi.

L'unica soluzione che attualmente vedo è disattivare i controlli per le classi che utilizzano ITD.

Qualche idea migliore?

Answer 1

È possibile aggiungere annotazioni/commenti specifici degli strumenti al codice Java per sopprimere i falsi positivi? Ad esempio, FindBugs ha la sua annotazione @SuppressWarnings.

Answer 2

Dubbi che sarà un "problema di nicchia" per molto più tempo :-) Speriamo che i venditori di strumenti esamineranno i miglioramenti necessari.

Answer 3

Se si desidera ragionare sul codice sorgente dopo che gli aspetti sono stati integrati nel codice, è necessario tessere gli aspetti nel codice sorgente piuttosto che nel codice binario.

Molti tessitori di elementi fanno tessere codice binario perché non hanno accesso alle informazioni (tabella dei simboli, nomi, tipi, tipi di espressioni, ...) prodotti da un front-end del compilatore. Quindi, l'hack è, usa il codice macchina virtuale prodotto dal compilatore (questo stunt funziona fondamentalmente solo per i set di istruzioni VM come .net IL e i codici classe java) che spesso è facile da decodificare (set di istruzioni bello, regolare) decorato con informazioni sulla tabella dei simboli.

Ma se non riesci a ragionare sui risultati binari di un tale processo di tessitura, allora non puoi essere sicuro che il programma intrecciato non sia bacato, che è il punto della domanda originale dell'OP: "Come Eseguo strumenti SCA sulla fonte tessuta (efficace)? ".

È possibile risolvere questo problema in due modi:

• Ottenere la comunità di scrivere strumenti SCA che elaborano i codici di byte, piuttosto che la fonte. Questo potrebbe essere difficile perché il codice sorgente potrebbe contenere informazioni perse nel processo di compilazione.
• Un'idea migliore: Ottieni l'aspetto della community per scrivere gli aspect weavers che operano sul codice sorgente e producono codice sorgente. Questo potrebbe essere difficile perché ottenere un front end linguistico completo è difficile.

Non posso aiutarti a fare in modo che la comunità faccia una scelta.

Posso offrire un forte incoraggiamento per aiutare la comunità a scegliere il secondo modo: il nostro DMS Software Reengineering Toolkit. Questo è un sistema di trasformazione del programma che esegue le direttive della forma di "se vedi questo, sostituirlo con che" ma onorando la sintassi e la semantica del linguaggio applicando effettivamente tali modifiche alle strutture di dati del compilatore prodotte dai front end linguistici completi. (Questa è la versione di ingegneria del software della sostituzione equa in matematica). Le strutture dei dati modificate possono essere riesportate come testo sorgente compilabile, completo di commenti.

Se capisci cosa possono fare le trasformazioni in generale, puoi vedere che aspect weavers are a special case of program transformation systems. Quindi, è facile implementare gli weaving con DMS ei risultati sono codice sorgente, ovvero è possibile applicare gli strumenti di analisi del codice sorgente.

Dubito che questo in realtà risolve il problema PO di analizzare il codice Roo-generato nel breve periodo: - {

Answer 4

Questa risposta non si aiuterebbe in questo momento, ma si spera che può essere di interesse per voi, in quanto promette una soluzione per il tuo problema in un prossimo futuro. Non so se si conosce IntelliJ IDEA - IDE Java da JetBrains, ma è già in corso il lavoro in questa direzione, e qui è il collegamento al problema dedicato che si potrebbe voler seguire: http://youtrack.jetbrains.net/issue/IDEA-26959. Basta impostare un orologio su di esso - e ricevere una notifica quando la funzione è implementata. IntelliJ IDEA fornisce SCA davvero potente. Pertanto, il supporto ITD dovrebbe essere di alta qualità.

Answer 5

Sia FindBugs che Cobertura NON funzionano a livello di origine, ma a livello di bytecode. Pertanto, dovresti inviare i tuoi aspetti in modo statico (che migliorerebbe anche il tempo di inizio dell'applicazione) al momento della compilazione (ad esempio utilizzando il plug-in AspectJ di maven) e non al momento del caricamento e quindi eseguire gli strumenti di analisi statici sul codice byte risultato.