Frama-c 预处理错误

Question

我想对 ac 代码进行切片，但是当我编写命令时，我遇到了一些错误。

*******[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

错误信息“源文件“helloworld.c”不存在”表示不存在这样的文件，因此请确保它存在，并且可以被Frama-C找到，即它在您的工作中（当前）目录。