TrustInSoft Analyzer

Construído para entregar resultados sólidos.

A análise automatizada de código estático para ajudar designers de software e equipes de validação de software garantem a ausência de famílias completas de falhas de software.

O analisador de TrustInSoft usa métodos formais para entregar garantias matemáticas. Com uma estrutura extensível que permite a colaboração entre diferentes métodos formais, o TrustInSoft Analyzer pode garantir matematicamente que uma determinada falha não está presente no seu código-fonte.

Principais features

Análise Estática
Verificação Formal
Detecção de Vulnerabilidades
Garantia de Segurança
Conformidade com Normas

Descrição completa

Solicite um orçamento

NÓS PODEMOS GARANTIR QUE SEU SOFTWARE É IMUNE DE:


• Estouro de buffer

• Uso de ponteiro inválido

• Divisão por zero

• Leitura de memória não inicializada

• Ponteiro Balançando

• Estouro aritmético

• NaN em uma computação flutuante

• Estouro em float para conversão de inteiro


Descrição completa

Ao clicar em "Enviar", você concorda em permitir que a Software.com.br entre em contato com você através das informações fornecidas, para fins de envio de orçamentos e comunicações relacionadas ao seu pedido. Para mais detalhes sobre como protegemos e utilizamos seus dados, consulte nossa Política de Privacidade e Termos de Uso.

Produtos relacionados

Sophos Security Suite é uma solução de segurança empresarial completa que combina antivirus, firewall e segurança de e-mail, reduzindo o custo total da sua proteção, protegendo de maneira definitiva seus servidores Windows e Mac, computadores, laptops e servidores de e-mail MS Exchange.

Os antivirus tradicionais simplesmente não cobrem todos os tipos de ameaças que surgem todos os dias.


GFI MailSecurity se diferencia das demais soluções por proporcionar não uma, mas até 5 engenharias diferentes em um único aplicativo de segurança para seu servidor de e-mails.


Fácil de configurar e usar, o GFI LanGuard atua como um consultor de segurança virtual para fornecer uma visão ampla do status da segurança da rede, por meio de gerenciamento de patches, avaliação das vulnerabilidades e da rede e auditoria de software.

Fabricante

Blade File Transfer é um software para tranferência de arquivos através da Internet ou Rede Locais HTTP ou HTTPS.

Suas ferramentas permitem enviar e receber arquivos de qualquer tamanho, informações de Banco de Dados, imagens, arquivos multimídia, Backup da Internet entre outros.


Proteção completa para sua empresa. Concentre-se na sua·empresa e minimize os requisitos de recursos de TI.

Airscanner Supreme Security Bundle é um antivirus poderoso para aparelhos móveis, desenhado com tecnologia exclusiva para aparelhos celulares, esse aplicativo completo inclui:

 

  • Update automático de base de vírus;
  • Varredura do sistema em Background;
  • Agendamento de varreduras;
  • Detecção de Spywares, Trojans e vírus;
  • Opção de quarentena ou eliminação de virus detectados;
  • Facilidade de uso !
     

Compatível com Windows Mobile e Pocket PC!

Fabricante

Ao clicar em "Enviar", você concorda em permitir que a Software.com.br entre em contato com você através das informações fornecidas, para fins de envio de orçamentos e comunicações relacionadas ao seu pedido. Para mais detalhes sobre como protegemos e utilizamos seus dados, consulte nossa Política de Privacidade e Termos de Uso.