文件名称：GamaSlicer:实现基于断言的切片的 frama-c 插件
文件大小：22KB
文件格式：ZIP
更新时间：2024-08-01 20:42:54
OCaml
伽马切片机 实现基于断言的切片的 frama-c 插件
【文件预览】：
GamaSlicer-master
----src()
--------gs_register.ml(5KB)
--------vcgen.ml(23KB)
--------towhy3.ml(13KB)
--------provers.ml(8KB)
--------gs_options.ml(416B)
--------gs_printer.ml(5KB)
--------slicing.ml(9KB)
--------Makefile(702B)
--------slicegraph.ml(12KB)
----README.md(81B)
----tests()
--------pre1.c(79B)
--------spec1.c(98B)
--------max_ptr.c(458B)
--------post2.c(80B)
--------swap.c(228B)
--------post1.c(78B)
--------taxes_calculations.c(379B)
--------simple_condi.c(103B)
--------square.c(78B)
--------simple.c(97B)
--------condi2.c(219B)
--------pre2.c(141B)
--------spec2.c(164B)
--------condi.c(160B)
----.gitignore(102B)