Não é possível executar o Frama-C no dia 13.04 após a instalação

Question

Eu instalei Frama-C em 13.04 via apt-get .

No entanto, após a instalação, não consigo executá-lo. Quando digito frama-c no terminal; nada acontece.

Além disso, frama-c não aparece no painel! Eu verifiquei o centro de software e ele foi verificado como instalado e também recebi a saída de frama-c --version

Como posso detectar o problema?

    

Answer 1

Tente frama-c-gui em um terminal.

frama-c é um aplicativo de linha de comando e não possui front end gráfico.

frama-c-gui é um front end gráfico e é instalado quando você instala frama-c

Na página do manual

DESCRIÇÃO

frama-c é um conjunto de ferramentas dedicadas à análise do código-fonte escrito em C. Ele reúne várias técnicas de análise estática em uma única estrutura colaborativa. Essa estrutura pode ser estendida por plug-ins adicionais colocados no diretório $ FRAMAC_PLUGIN. O comando

O

frama-c -help fornecerá a lista completa dos plugins atualmente instalados.

frama-c-gui é a interface gráfica do usuário do frama-c. Ele apresenta as mesmas opções que a versão da linha de comando.

frama-c.byte e frama-c-gui.byte são as versões do bytecode ocaml da linha de comando e da interface gráfica do usuário, respectivamente.

Por padrão, o Frama-C reconhece arquivos .c como arquivos C que precisam de arquivos de pré-processamento e .i como arquivos C que já foram pré-processados. Alguns plugins podem estender a lista de arquivos reconhecidos. O pré-processamento pode ser personalizado através das opções -cpp-command e -cpp-extra-args .