Abstract. We present a tool to automatically perform the data-size analysis of imperative programs written in C. This tool, called pymwp, is inspired by a classical work on complexity analysis [10], and allows to certify that the size of the values computed by a program will be bounded by a polynomial in the program's inputs. Strategies to provide meaningful feedback on non-polynomial programs and to ``tame'' the non-determinism of the original analysis were implemented following recent progresses [3], but required particular care to accommodate the growing complexity of the analysis. The Python source code is intensively documented, and our numerous example files encompass the original examples as well as multiple test cases. A pip package should make it easy to install pymwp on any plat-form, but an on-line demo is also available for convenience.

翻译：摘要 。 我们提出了一个工具, 自动对 C 书写的紧急程序进行数据规模分析。 这个工具叫做 pymwp, 受复杂分析经典工作[10] 的启发, 并可以证明程序计算值的大小将受程序投入中的多数值约束。 提供非多数值程序有意义的反馈和“ tame' ” 原分析的非确定性的战略是在近期进展后实施的 [3], 但需要特别小心以适应分析的日益复杂程度。 Python 源代码被大量记录下来, 我们的众多示例文件包含原始示例以及多个测试案例。 一个 Pip 软件包应该便于在任何 plat 形式上安装 pymwp, 但为了方便起见, 也可以提供在线演示 。