Yulei Sui

LocationSet is used to maintain both field and byteoffset information, I do not think we need a child class of it. Maybe you can try to submit a pull request...

Thanks for reporting this. I am not quite familiar with this read/write since it has been done by someone else a while ago. Could dig a bit more to see...

No, no need to recompile before every use.

@tiedaoxiaotubie do you have any experience in compiling Linux kernel using WLLVM?

It is helpful for people to take a look at your problem if you also provide a micro c program and the command line to reproduce your error.

This is due to the NodeIDAllocation Strategy. You can use `-node-alloc-strat=seq` for now. We will take a look at your bc later.

Just fixed: https://github.com/SVF-tools/SVF/commit/0afd009810746433f7cd8c6ca27d5d8f5395b306

Just fixed https://github.com/SVF-tools/SVF/commit/18da89bf95d8d17d0dbebe00619cdb4537de42bb. The reason is that the `BlockAddress` instruction was not handled for arguments at an `CallBrInst`, e.g., `i8* blockaddress(@trace_event_buffer_commit, %if.then))` as below: ``` callbr void asm sideeffect "1:.byte...

Hi Raunak, Thanks for your contribution. It seems to me that there is no official LLVM-7.0 yet. May I know where is your clang 7.0.0?

Hi Raunak, LLVM 7 will be officially released in one-month time. Could you please come back and help us upgrade SVF to LLVM 7 then?