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.01k stars 234 forks source link

About A8 StringAppend #8

Open Peteling opened 1 year ago

Peteling commented 1 year ago

I think the mode cs: ci can not pass test, it will show 9 taintflows in output.Anyone have a good idea about optimization?

FantasqueX commented 1 year ago

I've finished A8. However, I didn't met the problem you mentioned.

CAOYUNFAN commented 9 months ago

Maybe you can try to change the "Type" field of "TaintObj" according to the rule as shown below. After I changed the "Type", the test was passed and I succeeded in passing the oj. 屏幕截图 2023-09-27 021744