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.

Fabricante

TRUSTINSOFT

Categoria

Cibersegurança, Inovação e Transformação Digital

Segmento

Área de Negócio

Inovação e PeD, Jurídico e Compliance, Tecnologia da Informação (TI)

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

Seu nome

Nome da empresa

E-mail

Telefone para contato

Produto

Mensagem (Descreva brevemente o motivo do contato)

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

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.

Categoria

Cibersegurança, Rede e Monitoramento

Fabricante

Sophos

GFI Mail Security

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.

Categoria

Cibersegurança, Produtividade, Rede e Monitoramento

Fabricante

GFI

GFI LANguard

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.

Categoria

Cibersegurança, Rede e Monitoramento

Fabricante

GFI

Blade File Transfer System

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.

Categoria

Cibersegurança, Gestão de Documentos, Rede e Monitoramento

Fabricante

Blade

AVG Internet Security Network Edition

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

Categoria

Cibersegurança, Rede e Monitoramento

Fabricante

AVG Technologies

Airscanner Supreme Security Bundle

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!

Categoria

Cibersegurança, Utilitários

Fabricante

Airscanner

Seu nome

Nome da empresa

E-mail

Telefone para contato

Produto

Mensagem (Descreva brevemente o motivo do contato)

Formación especializada