search

pascal-lab / Tai-e-assignments

Tai-e assignments for static program analysis
https://tai-e.pascal-lab.net/
GNU Lesser General Public License v3.0
1.1k stars 251 forks source link

About A3 #15

Closed hitors closed 1 year ago

hitors commented 1 year ago

I have got 40/42 in A3, but all methods in test seem to be correct. Is there something wrong?

Analyze 42 methods, pass 40 methods
There are 516 dead Stmts in all test cases
Your submission correctly detects 516 dead Stmts
#false negatives: 0
#false positives: 2
Tr4cck commented 1 year ago

how did you solve it?

hitors commented 1 year ago

实在不好意思，我最后也没解决。卡住后就往后面做了，这里一直卡着。我想过参考往届的，但往届好像只有40个测试用例，可能这两个测试用例是新加的？感觉可能是多检测出了些死代码，但不知道是怎么导致的。

------------------ 原始邮件 ------------------ 发件人: "pascal-lab/Tai-e-assignments" @.>; 发送时间: 2023年2月6日(星期一) 下午2:15 @.>; @.>;"State @.>; 主题: Re: [pascal-lab/Tai-e-assignments] About A3 (Issue #15)

how did you solve it?

— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you modified the open/close state.Message ID: @.***>

epitaphial commented 1 year ago

It's possible that you forgot to check for side effects on the right value of the AssignStmt, which could lead to false positives.