Hera compilador e biblioteca de tempo de execução para um dialeto estendido de C que verifica o tipo, a memória e a segurança da concorrência
Baixe Agora

Hera Classificação e resumo

Hera Tag

Verifica compilar tempo de execução tempo de execução Verificador de memória

Hera Descrição

Biblioteca de compilador e tempo de execução para um dialeto estendido de C que verifica o tipo, a memória e a segurança da concorrência Ivy depende de um pequeno número de anotações leves no código-fonte para manter o tempo e as despesas de espaço razoável. A IVY é implementada como compilador C-a-C usando o GCC como back-end, e isso torna o driver do compilador de Ivy, o IVYCC, um substituto direto do GCC. C permanece uma linguagem de programação de sistemas muito amplamente usada; É amplamente conhecido, suportado por muitas ferramentas, fornece bons acessos a hardware de baixo nível ... mas produz programas C seguros e confiáveis é desnecessariamente difícil, um problema particularmente significativo para programas simultâneos e, em particular, código de sistemas. As línguas modernas abordam muitos desses problemas de segurança e confiabilidade, mas portando grandes sistemas para uma nova linguagem é muitas vezes impraticável. Análises estáticas de c Encontre alguns problemas, mas normalmente não garantem segurança.ivy representa uma abordagem alternativa: a Ivy será uma linguagem segura, simultânea, totalmente interoperável com C.ivy é efetivamente três ferramentas em uma (da maioria madura para mais experimental) : · Vice-verifica tipo e segurança de memória (limites de matriz, sindicatos, uso de vazio *, etc) · heapepsafe verificações de memória · Sharc verifica se a memória é compartilhada corretamente em programas paralelos

Hera Software Relacionado