功能

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