Frama-c预处理错误

Question

我想对 c 代码进行切片，但是当我编写命令时出现一些错误。

*******[15:18, 26.10.2017] Recep: [kernel] Parsing .opam/system/share/frama-c/libc/__fc_builtin_for_normalization.i (no preprocessing)

[kernel] user error: source file "helloworld.c" does not exist

[kernel] user error: stopping on file "helloworld.c" that has errors. Add 

'-kernel-msg-key pp'

                     for preprocessing command.

[kernel] Frama-C aborted: invalid user input.*******

Answer 1

报错信息"source file "helloworld.c“不存在”表示没有这个文件，所以要确保它存在，并且可以被Frama-C找到，即它在您的工作（当前）目录中。

Frama-c预处理错误

Frama-c Pre-processing Error

ocaml

frama-c