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.06k stars 242 forks source link

Testcase about A2 #2

Closed liuyufei closed 2 years ago

liuyufei commented 2 years ago

Can you provide more tips about the testcase of A2, the acceptance of A2 is only 2%. 51 of the 52 methods were passed for my program, for the last method I have no idea about the reason.

FXTi commented 2 years ago

企业微信截图_1653055000114

liuyufei commented 2 years ago

Nice！

bluesadi commented 2 years ago

Thanks for your issue! I also got stuck in this case...

9iang22 commented 2 years ago

Thanks for your issue, And another(51/52), when you init the boundary with the params of the method, remember to check if they can hold an int value.

retanoj commented 1 year ago

Deal with stmt type in transferNode, carefully :)

image

And, "otherwise UNDEF" condition

image
CharesFang commented 1 year ago

Just be careful when you are processing div 0 or rem 0 operations... Kindly note: when op1 is nac, you still have to consider the situations above. Hope you all well!

1sunny commented 1 year ago

nac / 0: this case is so hard to think of