2020年7月20日Tsmart工作报告

这篇文章是2020年7月20日我在Tsmart项目上的工作报告,这周的主要工作是实现了对VFG的Checker,并解决CallSite参数不匹配的问题。对于输入参数不匹配,我已经在我的测试集上完全消除了12442个错误;对于输出参数不匹配,我解决了大部分问题,从22819下降到了34个。

2016-2020 Ziping Sun
京ICP备 17062397号