Solicitar orçamento

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

,

Segmento

Área de Negócio

, ,

Principais features

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

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

Trend Micro OfficeScan Client/Server

Proteja seus desktops, laptops e servidores de arquivo com OfficeScan, segurança global contra as ameaças compostas complexas atuais e ataques baseados na rede.

Categoria

Fabricante

Kaspersky Internet Security

Kaspersky Internet Security – Completa proteção de segurança de Internet com tecnologias antivírus, anti-spyware, antiphishing, anti-spam e anti-hacker. 

Categoria

,

Fabricante

Kaspersky Antivirus

Kaspersky® Anti-Virus – Avançado software antivírus com a máxima proteção contra spyware. Protege contra vírus, cavalos de Tróia e worms, spyware e adware, rootkits, roubo de identidade e ataques de fraude eletrônica. Proteção proativa avançada, desempenho do sistema inigualável, atualizações automáticas de hora em hora e a resposta mais rápida às ameaças mais recentes.

Categoria

,

Fabricante

GFI MailEssentials

E-mail é uma ferramenta vital para o seu negócio, mas também é um canal usado para distribuir malware e spam. Proteger seu servidor de e-mail e rede contra spam, vírus, spyware e ataques de phishing é uma necessidade atual. O GFI MailEssentials é um filtro anti-spam premiado que pode lhe ajudar.

Categoria

,

Fabricante

DameWare Exporter

DameWare Exporter – Oferece funções para exportar informações de vários dispositivos físicos de uma Rede Windows NT/2000. Uma vez que você seleciona seus arquivos você poderá exporta-los para outro dispositivo já encontrado.


Categoria

,

Fabricante

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

,

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.

Produtos

Contato

+55 (11) 3665-8550

contato@software.com.br

Horário de atendimento

Segunda à Sexta-feira das
08:00 às 19:00

Endereço

Avenida Paulista 2064 Andar 7 Sala B
Bela Vista - São Paulo,SP - 01310-928

Logo fundo escuro
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

Copyright © Software.com.br Tecnologia e Consultoria Ltda 2007-2025 – Todos os direitos reservados. CNPJ: 09.240.519/0001-11

Dev By Zafarie

Solicitar orçamento

Redes sociais