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