Cojac. O problema numérico do problema para Java
Baixe Agora

Cojac. Classificação e resumo

Cojac. Tag

Detector farejador ponto flutuante transbordar

Cojac. Descrição

Cojac é uma ferramenta que realiza instrumentação de código on-the-fly para ajudar a descobrir problemas numéricos com inteiro (transbordamentos) e ponto flutuante (manchas, cancelamento, infinito, nan) aritmética. Cojac detecta transbordamentos e anomalias de números de pontos flutuantes em linhas de código Java. Você pode aplicá-lo em seu próprio código para detectar bugs viciosos que não são detectados pela máquina virtual Java. Esta ferramenta é um pequeno aplicativo de linha de comando, permitindo que você inicie qualquer aplicativo Java com Cojac. Veja o guia do usuário para uma descrição mais detalhada. Com Cojac você não precisa modificar seu código-fonte ou até recompilar. Todo o trabalho é feito no tempo de execução e sua inscrição não é alterada. Cojac é oferecido (sem garantia, é claro) na esperança, pode ser útil para fins educacionais, bem como na indústria de software. Qualquer comentário / feedback é bem-vindo!

Cojac. Software Relacionado