微调器 这是Spinner项目页面。 由于页数限制，我们无法在本文中介绍的已发布代码和内容都放置在此处。 脆弱计划的补充材料 我们精心选择了27个已知在最近五年中具有输入注入漏洞的程序，并使用它们评估了Spinner的有效性。 本节涵盖了本文表2中未涵盖的详细内容。 详细信息在中显示。 测试用例的补充材料 为了表明我们的工具没有破坏原始功能，我们使用测试用例并检查它们是否可以涵盖工具化的代码片段和其他受影响的代码。 本节介绍了被评估程序的测试用例。 测试用例在 。 本文使用的源代码 本节包含