Java Code analyser
- Checkstyle : VĂ©rification du formatage du code
- Error Prone : DĂ©tection des bugs. Il y a un systeme d’extension
- Infer :
- jQAssistant : permet de vérifier des règles de codage, par exemple entre package
- NullAway : DĂ©tecte les pointeurs null
- PMD :
- Sonar : outils d’analyse des codes sources Java et C/C++ etc…
- Spoon : il peut transformer le code. Il gère jusqu’a Java 16
- Spotbugs : C’est le successeur de findbug
- Semmle : langage QL pour rechercher des bugs dans les sources
- bddbddb : analyse de bytecode de la JVM
- Reason : ajout d’un systeme de type Ă la ocaml au javascript