Zexin Zhong(Jason)

> @JasonZhongZexin @xudon9 could you take a look at this C++ test case? Okay, I will take a look at these test cases and follow up on this issue.

Hi @tregua87, thanks for reporting this issue. I am currently investigating this problem. It will be fixed as soon as possible, and I will notify you when it is set.

> @JasonZhongZexin do you have updates for this issue? @tregua87 sorry for the late response. In our recently updated, we fixed the read-and-write module for the Andersen point-to analysis. You...

Hi @tregua87， sorry for the long wait! We have fixed all the issues with the SVF read and write analysis results in our most recent update. You can fetch our...

> https://svf-tools.github.io/SVF-doxygen/html/ There are some questions about Doxygen because of outdated with many versions behind. Thanks for your report. We have fixed SVF-doxygen, and it is up-to-date already.

Sure. I will take a look at this issue and provide a Homebrew formula.

@yikuoyansui I have confirmed the new update has been published to NPM. The up-to-date version of svf-lib should be v1.0.243. Could you please provide the below information, so that I...