DUCT：一个交互式定义-使用链导航工具
DUCT: An Interactive Define-Use Chain Navigation Tool for Relative Debugging
摘要：
本文介绍了一种交互式工具，便于以下定义使用链在大型代码。这项工作的动机是支持相对调试，其中需要迭代地改进程序不同版本之间的一组断言。DUCT是新颖的，因为它利用了支撑.NET框架的Microsoft中间语言（MSIL）。因此，它适用于各种程序设计语言，无需任何修改。本文描述了DUCT的设计和实现，然后用一个小的案例研究来说明它的使用。
英文摘要：
This paper describes an interactive tool that facilitates following define-use chains in large codes. The motivation for the work is to support relative debugging, where it is necessary to iteratively refine a set of asser-tions between different versions of a program. DUCT is novel because it exploits the Microsoft Intermediate Language (MSIL) that underpins the .NET Framework. Accordingly, it works on a wide range of programming languages without any modification. The paper describes the design and implementation of DUCT, and then illustrates its use with a small case study.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
