OWowHVfIh

SyPET是一个基于API序列的程序综合工具，用户需要提供功能的Signature和test cases，SyPET能够基本库中综合出满足Signature输入输出类型的API序列。但是SyPET存在缺陷，即部分问题因为基本库规模过大使得综合时间过长，我们希望能对这一点进行改进。