[英]Slicing with Frama-c
I installed frama-c with opam on my MacOs. 我在MacO上安装了带opam的frama-c。 I need to slice Hello World by manually.
我需要手动切片Hello World。 I mean not with Gui.
我不是说桂 I searched on the internet but I could not understand how do it.
我在互联网上搜索,但我不知道该怎么做。 My english is not well enough.
我的英语不够好。 So can somebody help me to slice HelloWorld.c ?
那么有人可以帮我切成HelloWorld.c吗?
To launch Frama-C's slicing from the command-line, you must have a C file that parses, and a slicing criterion (return code, accesses to a global variable, statement, etc). 要从命令行启动Frama-C的切片,您必须具有一个解析的C文件和一个切片条件 (返回代码,对全局变量的访问,语句等)。 The various available criterion are described at http://frama-c.com/slicing.html .
在http://frama-c.com/slicing.html上描述了各种可用的标准。
Furthermore, if you want to slice eg on a statement, you will have to use slicing pragmas , with the following syntax: 此外,如果要在一条语句上进行切片,则必须使用切片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.
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.