Flavio Toffalini

I tried also ` __attribute__((packed));` to avoid padding. But I get same result

In the end of the day I figured out to run it in this way: ``` char* data = (char *)&chunk.fd-0x10; // Data starts here for an ``` stil, why?...

Thanks for your reply! I believed SVFG already resolved the alias of `s->ss`, this seems not the case. From Example 2, I run the following command: `wpa -ander -svfg --dump-vfg...

Thanks again, I am getting toward my goal. I have a slightly off-topic question. I partially resolved it with aliasing. However, in my scenario the order of the operations matters....

Thanks for your reply. I guess I will develop some analysis. At this point, we could close this issue and eventually start another one for discussing dominators/post-dominators?

The above example was an attempt to minimize something more complex. I try to show you the whole picture, and hope you can advice me. The problem occurs when analyzing...

Thank you! I just tried by adding a `main` that invokes `decoder_peek_si_internal`, like the one below. With this setting, FlowSensitive can resolve the indirect jump. ```C int main(int arch, char**...

Thanks! Here the .bc: https://drive.google.com/file/d/1fj-I8NupTXq5LUF_56lxMqZRy6DdvtrW/view?usp=sharing ~~I am gonna try the upstream SVF + llvm-14. I will let you know~~ **UPDATES:** I just tried with SVF commit `a84d8cf54d810398e741bd0352e6d1b2f8ae7867` and llvm-14. I...

Yes, I tried on the latest SVF and still same problem. (Probably I was not clear in the previous post, sorry). Also, I used llvm-14, but still.

Now I have problem to compile last SVG commit with the example (https://github.com/SVF-tools/SVF-example/tree/master) to test the error. Here the error when compiling SVF-example. ``` /usr/bin/ld: /root/SVF/Release-build/svf-llvm/libSvfLLVM.a(ConsG.cpp.o): relocation R_X86_64_32S against symbol...