Fjalar. Framework Dynamic Analysis para programas C e C ++
Baixe Agora

Fjalar. Classificação e resumo

Fjalar. Tag

análise estrutura desenvolvimento c++ C ++ Framework C ++. Framework de análise.

Fjalar. Descrição

Estrutura de análise dinâmica para programas C e C ++ O Fjalar é um quadro de código aberto gratuito e aberto que facilita a construção de ferramentas de análise dinâmica para programas escritos em C e C ++. O FJALAR é muitas vezes difícil construir análises dinâmicas robustas e escaláveis para programas C e C ++ devido à falta de memória e tipo de segurança nessas línguas. Por exemplo, o sistema de tempo de execução não acompanha os tamanhos de matriz ou se os valores foram inicializados. As estruturas existentes com base na transformação de origem a fonte muitas vezes sofrem de problemas de escalabilidade e robustez devido à dificuldade de adicionar o código-fonte de instrumentação para rastrear o uso e a inicialização da memória. Estruturas que operam puramente no nível binário não podem fornecer informações ricas em nível de linguagem sobre estruturas de dados que são úteis para muitos tipos de análises. O fjalar combina aspectos de abordagens baseadas em fontes e binárias e permite que as ferramentas construídas com segurança acessem informações ricas em ambos os níveis de idioma e máquina durante o tempo de execução.

Fjalar. Software Relacionado