1. Pmd;PMD,2021
2. Checkstyle 8.45.1;checkstyle,2021
3. Finding bugs is easy;Pugh;ACM Sigplan Not.,2004
4. Building useful program analysis tools using an extensible java compiler;Aftandilian,2012
5. Moving fast with software verification;Calcagno,2015