AVENTAL Uma biblioteca dedicada à análise estática das variáveis numéricas.
Baixe Agora

AVENTAL Classificação e resumo

AVENTAL Tag

analisador variáveis numérico variáveis numéricas Interpretação abstrata

AVENTAL Descrição

Uma biblioteca dedicada à análise estática das variáveis numéricas. A Avental é uma biblioteca dedicada à análise estática das variáveis numéricas de um programa por interpretação abstrata. O objetivo de tal análise é inferir invariantes sobre essas variáveis. Como 1 requisitos: · Um compilador ANSI C (apenas GCC com a opção ANSI foi testado) · A biblioteca GMP, versão 4.2 ou para cima e a biblioteca MPFR, versão 2.2 ou para cima · Opcionalmente, a Biblioteca de Polyhedra Parma e o GMP compilado com a opção de configuração -enable-cxx) · Se você quiser a interface C ++ (ainda experimental), GCC 4.1.2 ou para cima · Se você quiser usar a interface OCAML, precisará do sistema Ocaml, versão 3.09 ou para cima, o gerador de código de stub Camlidl 1.05 para a interface Ocaml, bem como GNU SED 4.1 ou UP e GNU M4 (se você baixar do Subversion repositório) O que há de novo nesta versão: · Domínio do octógono agora suporta hashing. Suporte para bibliotecas compartilhadas foi adicionado. · Mudanças de API menores foram feitas.

AVENTAL Software Relacionado