概述

C语言程序切片工具

概述

威斯康辛州(State of Wisconsin) 是美国中西部的一个州，威斯康辛州被称为“奶制品之州”，本州出产的奶酪尤其出名。威斯康辛州居民很幽默地称自己为“奶酪大头”（cheeseheads），而且在体育比赛，音乐会和其他公共活动中总是头戴一顶貌似圆饼形瑞士奶酪一角的泡沫帽子。其他有名的饮料食品包括啤酒和德式香肠（bratwurst）。它的州府是麦迪逊（Madison），最大城市是：密尔沃基（Milwaukee）。

C语言程序切片工具

Wisconsin程序切片工具version1.1是一个支持对C语言程序操作的软件系统。它包括向后切片、向前切片和消片三种功能，他们能够帮助用户获得对一个程序正在做什么和如何做的理解，该切片工具用来建立和操作控制流图和程序相关图的一个包构成，和分析一个C的前端类似，也把他们转化为适合切片的中间表示形式。