Programas por javastaticcheck.sf.net

  • Java Static Checker (JSC) Livre

    Este é um protótipo do Java Static Checker (JSC), uma ferramenta de análise estática de peso leve que examina o código-fonte Java para classes de falha via categoria de falha. A ferramenta é voltada para solidez e escalabili