Question about assignment 4

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.11k stars 250 forks source link

Question about assignment 4 #10

Open IzaiahSun opened 2 years ago

IzaiahSun commented 2 years ago

My submission failed on 2 statements of interprocedural constant propagation. Could anyone provide some tips on it?

Your submission correctly analyzes 85 out of 85 call sites in test cases for CHA,
and 1063 out of 1065 Stmts in test cases for interprocedural constant propagation.

[!] Failed on [hidden] testcase(s)
Tips: we will not give you any information about [hidden] testcase(s)

QudaRulo commented 1 year ago

我觉得你是在callnodetransfer的情况可能出了问题，我当时是这里出了问题，edge transfer应对control flow，不要和calltoreturn edge混淆。希望对你有一些帮助

Cat-Overflow commented 1 year ago

在transfercallnode时，即使左边有赋值变量，也不用在out中删去LHS的值，因为这个会在edge transfer时候处理 tempsnip