GrammaTech, Inc. | |
Criação | 1988 |
---|---|
Fundadores | Tim Teitelbaum e Thomas Reps |
A sede |
Ithaca (New-York) Estados Unidos |
Atividade | Qualidade de software |
Produtos | CodeSonar, CodeSurfer |
Local na rede Internet | www.grammatech.com |
A GrammaTech é uma empresa americana especializada em ferramentas de desenvolvimento de software . Tem sede em Ithaca , Nova York , Estados Unidos , e foi fundada em 1988 na Cornell University , uma das mais prestigiadas do país. As ferramentas desenvolvidas pela GrammaTech são utilizadas em todo o mundo, tanto por multinacionais, como membros da Fortune 500, quanto por instituições governamentais ou start-ups.
CodeSonar é uma ferramenta de análise de código fonte estática arbitrária para as linguagens C e C ++ , que detecta erros de programação e vulnerabilidades de segurança em tempo de execução, a fim de reduzir drasticamente o número de erros latentes presentes no software e melhorar sua robustez. CodeSonar é usado por todas as indústrias que requerem um alto nível de confiabilidade de seus produtos: aeronáutica, espacial, ferroviária, defesa, eletrônica, telecomunicações e médica. Ele também é usado por agências governamentais, como a Food and Drug Administration e a administração de alimentos e medicamentos dos Estados Unidos , para detectar erros em dispositivos médicos integrados em software . Além disso, a Agência de Segurança Rodoviária dos Estados Unidos, NHTSA e NASA usaram em conjunto em seu estudo sobre "aceleração não intencional repentina", que em particular revelou problemas em sistemas de controle de tráfego eletrônico. Aceleração de alguns carros Toyota.
CodeSurfer é uma ferramenta para engenharia reversa , analisando o código fonte C e C ++ e macros, diretivas de pré - processadores e templates C ++ . Codesurfer cria uma variedade de representações (gráficos de chamadas, análise de ponteiro, fluxo de dados e análise de controle, ...) que podem ser facilmente exploradas através da interface gráfica ou API adicional.
A GrammaTech foi criada em 1988 na própria Cornell University , onde seus fundadores desenvolveram em 1978 um primeiro ambiente de desenvolvimento integrado (o "Cornell Program Synthesizer"), bem como um sistema para gerar editores de código-fonte especializados em. Uma linguagem dada a partir da teoria de a gramática atribuída (o “Synthesizer Generator”, desenhado em 1982). Vários sistemas foram implementados utilizando o “Gerador de Sintetizador”, como a ferramenta de verificação formal Penelope da linguagem Ada . Os dois co-fundadores da Grammatech Tim Teitelbaum e Thomas Reps receberam o Prêmio Impacto Retrospectivo 2010 do Fórum ACM SIGSOFT por seu trabalho no Gerador de Sintetizador. Eles receberam o prêmio novamente no ano seguinte por outra pesquisa, batizada de pesquisa “Fatiamento Wisconsin” que resultou na comercialização de um produto: a ferramenta CodeSurfer.
De fato, a GrammaTech e a University of Wisconsin têm estado em estreita colaboração desde 2001 para desenvolver ferramentas para análise de código, engenharia reversa e anti-alteração de arquivos executáveis . Esta pesquisa levou ao CodeSurfer / x86 (uma versão do CodeSurfer para conjuntos de instruções Intel x86 ), CodeSonar / x86 e um sistema para a geração de analisadores estáticos a partir da semântica formal dos conjuntos de instruções de cada arquitetura de hardware. .