Open zhvngyuan opened 1 year ago
BinYu-Xidian-University
commented
1 year ago 同学你好，这个文件后来修改了，抱歉没有对应的property文件，可以直接运行racebench文件夹下面的例子就可以，使用config文件夹下的 myAnalysis-concurrent-interrupt-benchmark-racebench.property文件作为配置文件，目前我还在完善这个上传的内容，近期GitHub还会进行进一步的完善哈，有啥问题可随时反馈，十分感谢。
zhvngyuan
commented
1 year ago 好的好的，非常感谢您这么快速的解答！我们团队也开发了一款验证工具，我们想引用贵团队的工具在实验部分做对比，在复现CPA4AV实验方面可能还需要您的解答。再次感谢！ ---- 回复的原邮件 ---- | 发件人 | @.> | | 发送日期 | 2023年08月27日 22:12 | | 收件人 | BinYu-Xidian-University/CPA4AV @.> | | 抄送人 | zhangyuan @.>, Author @.> | | 主题 | Re: [BinYu-Xidian-University/CPA4AV] 目录/CPA4AV-Ourtool/config下的文件中没有找到myAnalysis-interrupt-benchmark-racebench-with-interruption-points.properties的文件 (Issue #1) |
同学你好，这个文件后来修改了，抱歉没有对应的property文件，可以直接运行racebench文件夹下面的例子就可以，使用config文件夹下的 myAnalysis-concurrent-interrupt-benchmark-racebench.property文件作为配置文件，目前我还在完善这个上传的内容，近期GitHub还会进行进一步的完善哈，有啥问题可随时反馈，十分感谢。
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you authored the thread.Message ID: @.***>
BinYu-Xidian-University
commented
1 year ago 好的，没有问题，随时欢迎
Yu Bin 您好！我是大连理工大学软件学院的学生，目前在研究中断驱动程序的并发缺陷验证方法。我对贵团队提出的方法非常感兴趣，但我在我的机器上复现CPA4AV运行结果时遇到了问题：我在目录/CPA4AV-Ourtool/config下没有找到 myAnalysis-interrupt-benchmark-racebench-with-interruption-points.properties这个文件，所以没能成功的运行test.i。请问在目录/CPA4AV-Ourtool/config下的所有文件是否是重新命名了？或者是其他的情况？希望得到您的解答，非常感谢！