文件名称：IntPTI:通过适当类型推断修复整数错误
文件大小：47.3MB
文件格式：ZIP
更新时间：2024-06-04 15:58:56
interactive defect-repair Java
IntPTI 通过适当类型推断修复整数错误 更新 2018-6-1在IntPTI/data/tdsc/上添加了更新的实验结果。 2017-6-30在IntPTI/data/ase17tool/上添加了更新的实验结果。 2017-6-29添加了IntPTI的，包括配置指南和Web界面快速帮助。 2017年6月29日现已提供交互模式，用户可以通过用户友好的Web界面查看和管理生成的修复程序。 要使用此功能，用户应在缺少的阶段配置中插入phase.repair.interactive = true 。 2017-6-29我们上载以展示IntPTI的用法和功能。 欢迎观看我们的示范并发表您的评论。 介绍 IntPTI是用于修复整数错误（例如，溢出，符号错误）的工具。 目前，它仅支持C程序。 IntPTI的输入是经过预处理的C源文件或生成捕获后的项目（将在以后介绍），输出是已应用修订的修改