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

SUSE Linux Enterprise

SUSE Linux Enterprise Server oferece uma série de ferramentas de instalação, configuração, implantação e administração que proporcionarão significativa economia de tempo aos gestores de TI. Com a ajuda destas ferramentas de gestão de servidores, você poderá administrar e proteger sua infraestrutura de TI com maior eficácia.

Categoria

, , ,

Fabricante

Panda Security for Business

Panda Security for Business oferece máxima proteção pró-ativa para as empresas contra futuras e atuais ameaças. Baseado na combinação da mais avançada Tecnologia pró-ativa (Truprevent) para “endpoints” e auditorias profundas periódicas, o Panda Security for Business oferece uma proteção completa contra ameaças conhecidas e desconhecidas.

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

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

, ,

Fabricante

Avast! Pro Antivírus

O avast! Pro Antivirus 7 vem com anti-spyware, anti-rootkit e auto-proteção inclusa.Criado especialmente para proteger seus arquivos e programas e mantendo-os atualizados e livres de risco.

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