Mohamad Barbar

Thanks for this! some quick playing around and it seems quite nice. I've updated my local installation with these changes. Having a `function` line followed by a `begin` then some...

A few questions, 1. Is it possible to share some of these bc files so we can take a look at what may be happening? 2. Can these bc files...

>Sadly I am not able to share the bc file. Ah no problem. Even bc as small as 15 MB can use a lot of memory/time. It depends on how...

Ahh, thank you. I suspect there isn't much we can do here without some advancement in technique, since it means the versioning is done (so no bug there), just it...

To clarify some terminology, #80 mentions the SVFG *only* because he wanted a flow-sensitive analysis. The SVFG corresponds to the DUG in other literature.

By the way, `-vfspta` requires `-opt-svfg=false` to be correct for larger programs. This should be fixed in a few months.

Good point. [expand.bc](https://github.com/SVF-tools/SVF/files/4608257/expand.txt), also from Coreutils, is a better example which has the same issue (`3542` vs. `13642`) but also another issue where ander is missing `1` from some points-to...

Fantastic, working for me for join.bc now. Thanks!

Reopening regarding the issue of first fields being equivalent to the base object. In [this test case](https://github.com/SVF-tools/Test-Suite/blob/master/basic_c_tests/struct-twoflds.c), the `NOALIAS` tests imply that the first field is not equivalent to the...

Removing the `+ 1` would fix it I suspect, but introduce another issue. The other issue (which is why the change was made in the first place, if my memory...