我无法使用 Frama-c 打开任何 .C 文件,只收到 "Invalid User Input" 错误

I can not open any .C files with Frama-c and only receive "Invalid User Input" Errors

我是 Frama-c 的新手,对一般的编程也很陌生。我在 Mac 上安装了 Frama-C。我正在使用 OSX。从命令行我输入 Frama-C-Gui,它打开时我 select "New Project" Frama-C GUI then adding a new Project

我浏览我的文件,然后 select 我的非常简单的 .C 文件但是当我 select 它时,我收到一条错误消息:

"Frama-C aborter: invalid user input. Reverting to previous state. Look at the console for additional information (if any)."

Frama-C Gui with error message

我的文件非常简单,只有下面的循环:

for (int j=-100;j<=100;j++){i=j;
    while (i!=0){i=i+2; x=x-5; y=y-y/x;}}

任何有关如何能够成功 运行 文件的帮助将不胜感激!

也许一个完整的 C 程序能让你走得更远。对于给定的循环,将其保存在 foo.c 中,最好使用小写字母 .c.

int main(void) {
    int i, x = 0, y = 0;

    for (int j = -100; j <= 100; j++) {
         i = j;
         while (i != 0) {
              i = i + 2;
              x = x - 5;
              y = y - y / x;
         }
    }
    return 0;
}