我已经安装法拉马-C于 13.04 通过apt-get。
但是，安装后我无法运行它。当我frama-c在终端中输入时，什么都没有发生。
仪表板上也frama-c没有显示！我检查了软件中心，发现它已安装，并且我还从frama-c --version
我怎样才能发现问题？
答案1
frama-c-gui在终端上尝试。
frama-c是一个命令行应用程序，没有图形前端。
frama-c-gui是一个图形前端，在安装时安装frama-c
来自手册页
描述
frama-c 是一套专用于分析用 C 编写的源代码的工具。它将多种静态分析技术集中在一个协作框架中。此框架可以通过放置在 $FRAMAC_PLUGIN 目录中的其他插件进行扩展。命令
frama-c-帮助将提供当前安装的插件的完整列表。
frama-c-gui是 frama-c 的图形用户界面。它具有与命令行版本相同的选项。
帧-c.字节和frama-c-gui.byte分别是命令行和图形用户界面的 ocaml 字节码版本。
默认情况下，Frama-C 识别 。C 文件为需要预处理的 C 文件，并且 。我文件被识别为已经预处理的 C 文件。一些插件可能会扩展识别文件的列表。预处理可以通过-cpp 命令和-cpp-额外参数选项。