Awesome GitHub RepositoriesAnalysis Exclusion Annotations

Periphery este un instrument de analiză statică și detectare a codului mort (dead code) pentru proiecte Swift. Acesta identifică clasele, structurile, funcțiile și proprietățile neutilizate și servește drept optimizator de suprafață API pentru a găsi declarațiile publice care pot fi restricționate la acces intern. Instrumentul include scanare specializată pentru fișierele Interface Builder, cum ar fi storyboard-urile și XIB-urile, pentru a se asigura că membrii conectați la UI nu sunt marcați incorect ca neutilizați. De asemenea, oferă eliminarea automată a codului pentru a șterge codul mort identificat și parametrii neutilizați direct din fișierele sursă. Capabilitățile sale de analiză acoperă detectarea protocoalelor redundante, a cazurilor de enum neutilizate, a importurilor inutile și a proprietăților care sunt doar atribuite. Sistemul gestionează datoria tehnică prin filtrarea bazată pe baseline și suportă proiecte în limbaje mixte, păstrând simbolurile expuse către runtime-ul Objective-C. Periphery se integrează cu sistemele de build și pipeline-urile CI folosind configurații bazate pe YAML și poate exporta rezultatele analizei în mai multe formate standard din industrie.

NullAway este un instrument de analiză statică Java și un detector la momentul build-ului, conceput pentru a identifica riscurile de pointer nul. Funcționează ca un verificator de nulitate care utilizează adnotări pentru a verifica dacă referințele nu sunt nule înainte de a fi dereferențiate, prevenind blocajele la runtime. Analizorul implementează standardul JSpecify pentru a asigura adnotări de nulitate consistente în diferite biblioteci Java. Se distinge prin utilizarea unei interfețe de furnizor de servicii pentru a modela comportamentul de nulitate al bibliotecilor terțe care nu au adnotări sursă și prin oferirea de suport specializat pentru codul generat de Lombok. Instrumentul acoperă o gamă largă de capabilități de impunere a siguranței, inclusiv validarea contractului API Java pentru suprascrierile de metode și detectarea preluării valorilor opționale goale. Suprafața sa de analiză se extinde la marcarea nulității la nivel de pachet și la capacitatea de a exclude codul sursă generat din analiză.