Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Java Static Checker (JSC)

Java Static Checker (JSC) 6

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

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 escalabilidade, considerando a completude.

história da versão

  • Versão prototype_version6 postado em 2010-10-22
    Várias correções e atualizações
  • Versão prototype_version6 postado em 2010-10-22

Detalhes do programa

Programas Relacionados

  • Component Pascal compiler Livre

    Compilador multiplataforma minimalista para a linguagem Component Pascal, subconjunto do BlackBox Component Builder 1.6 RC5 (subsistema bifurcado Dev), capaz de produzir software autônomo a partir da linha de comando.

  • SSIMS Livre

    O SSIMS é um Sistema de Gerenciamento de Inventário de Servidores windows e SQL que usa SQL para executar scripts PowerShell para consultar o SISTEMA OPERACIONAL e o SQL para obter informações. Adicionado script para encontra

  • ecmallthai Livre

    Este Projeto desenvolve um script em língua tailandesa para o ECMall um software chinês de shopping center. ECMall é uma fonte aberta desenvolvida pela comsenz . é popular Software de Shopping Mall na China. Esses scripts de

  • MovExp Livre

    A MovExp ajuda você a gerenciar seus filmes em sua intranet e compartilhá-los com o Samba.O recurso IMDb ajudará você a analisar automaticamente as informações do filme.

  • JOR (Jatools Open Report) Livre

    O JOR é uma ferramenta de relatórios de código aberto para relatórios complexos, o Jasperreport é direcionado apenas a relatórios simples, mas o JOR pode facilmente projetar relatórios complexos, como relatórios de origem de

  • EasyLogIn Livre

    Easy Log In - um módulo de autenticação de usuário simples baseado em banco de dados. Pode ser usado para adicionar autenticação do usuário ao código existente, ou como ponto de partida para a construção de aplicativos simpl

  • pam_krb5+ldap Livre

    Usa Kerberos para autenticação primária e tem opções para criar conta local sem senha a partir de dados recuperados do OpenLDAP/Active Directory. Com base na liberação pam_krb5-2.3.1-1 de http://people.redhat.com/nalin/pam_kr

  • FACON Livre

    Em Nome de Alá. A paz esteja sobre o profeta Mohamad e todos os profetas. O FACON é uma caixa de ferramentas baseada em redes neurais e otimização scilab que usa diferentes métodos de otimização para resolver um problema e re

  • MicroBrowser4ME - J2ME Browser Core Livre

    Núcleo de navegador J2ME de pequena pegada para exibir documentos XHTML e HTML em dispositivos incorporados habilitados para Wireless Java. Derivado de um projeto estudantil na FH Joanneum (Universidade de Ciências Aplicadas

  • ArchivePool Livre

    O projeto é um catálogo de mídia independente da OS (música, filmes...), escrito em Java, que poderia ser estendido com sistemas de mídia extras e bancos de dados por plugins. Ele deve usar serviços como o freedb.org projeto