0

我在我的 MacO 上安装了带有 opam 的 frama-c。我需要手动切片 Hello World。我的意思是不是和桂。我在互联网上搜索，但我不明白怎么做。我的英语不够好。那么有人可以帮我切片 HelloWorld.c 吗？

4

1 回答 1

1

要从命令行启动 Frama-C 的切片，您必须有一个可以解析的 C 文件和一个切片标准（返回代码、访问全局变量、语句等）。http://frama-c.com/slicing.html描述了各种可用的标准。

此外，如果你想对语句进行切片，你将不得不使用切片 pragmas，语法如下：

/*@ slice pragma stmt; */
    Preserves the effects of the next statement. 
/*@ slice pragma expr e; */
    Preserves the value of the ACSL expression e at this control-flow point.
于 2017-10-27T08:57:39.617 回答