功能

函数:用于终止的抽象域函子。函数是一个研究原型静态分析器,用于证明C程序的(有条件)终止。该工具通过抽象解释自动推断分段定义的排名函数(以及终止的充分先决条件)。它结合了各种抽象领域,以平衡分析的精度和成本。