Xudong Wang comments

Results 10 comments of


                                            Xudong Wang

[Bug Report] MPM panic when no phantom declaration for generic type

This seems to be the bug of the move language

[Bug Report] MPM panic when no phantom declaration for generic type

Thanks for your information. i am trying to locate the cause.

[MPM] The color information output by the MPM command does not take effect on the Windows platform

ANSI terminal control code is not enabled by default on Windows: https://superuser.com/questions/413073/windows-console-with-ansi-colors-handling

Assertion Failure in `SVF::CHGBuilder::analyzeVTables`

Hi, could you share the .bc file?

AddressSanitizer + struct allocated on stack with function pointer field

Hi, did you eliminate all `ptr2int/int2ptr` instructions manually? I managed to reproduce the problem with an even simpler sample below, where `foo()` contains more than 15 integer/pointer casts. ```c struct...

AddressSanitizer + struct allocated on stack with function pointer field

Let's try this first. > * snippet compiled w/o ASan but with `alloca` for the `struct` replaced with an `alloca` of N bytes?

Higher optimization level leads to broken value flow in virtual functions

We have received several issues with virtual functions. We are reviewing related parts of C++ feature handling. It might take a while before all the problems get solved. Thanks.

Bump LLVM from 13.0.0 to 15.0.0

updated accordingly.

How do you analyze the entire project on top of wllvm

> @yuleisui Could SVF analyze multiple bitcodes at the same time? I tried this [example](https://llvm.org/docs/LinkTimeOptimization.html#example-of-link-time-optimization) by > > ``` > ../svf-latest/Debug-build/bin/wpa -ander a.bc main.bc > ``` > > but SVF...

How do you analyze the entire project on top of wllvm

Thanks @timmyyuan for bringing this to our attention. Long story short, when creating `SVFFunction`s, there is a reference to another `SVFFunction` that has not been created yet. This was not...