使用Frama-c进行切片

Question

我在我的MacOs上安装了frama-c和opam。我需要手动切片Hello World。我的意思是不是和Gui。我在网上搜索了一下，但我不明白怎么做的。我的英语不够好。有人能帮我切下HelloWorld.c吗？

Answer 1

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

此外，如果您想对语句进行切片，则必须使用切片编译指示，语法如下：

/*@ 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.