Pietro Borrello

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86164 seems to describe a similar issue, which basically means that in theory, it is unsafe to use `std::regex` with possibly unbounded inputs and wildcard matchings. The issue refers to...

Thank you for looking into that! Maybe detecting a possibly infinite pattern (and similar) in the regex and warning the user about that would be enough? This seems a configuration...

> I am able to reproduce it on my machine with the following simple code: I confirm that I can reproduce it too with the minimized test > If you...

I have to say that I share the feeling that this option should not be used with source files, but this seems actually valid. clang automatically builds a temporary object...

Yes exactly, this would work perfectly. I think there is another inconsistency in how gllvm deals with linker groups, still used in [Android libhevc fuzzer build script](https://android.googlesource.com/platform/external/libhevc/+/refs/heads/master/fuzzer/ossfuzz.sh) where there can...

At the time of the issue, it was used in the [Android libhvec fuzzer build script](https://android.googlesource.com/platform/external/libhevc/+/9ed4d07c546321343e16978492add5869d7a8465/fuzzer/ossfuzz.sh) of the OSSFuzz project by Google The script seems now to be updated to...

It seems that the check in DsaLocal at line 667 is specifically made for `one or several gep instructions starting from NULL`. https://github.com/seahorn/sea-dsa/blob/9d8d71a8f9cf0fe26e2578f8e01118c02c345263/lib/seadsa/DsaLocal.cc#L667 Here the crash is acually a load...

Ok if I enable assertions with PR #131 it actually crashes on https://github.com/seahorn/sea-dsa/blob/9d8d71a8f9cf0fe26e2578f8e01118c02c345263/lib/seadsa/DsaLocal.cc#L623 after printing as a warning: `Unexpected expression at valueCell: %4 = load float*, float** %arrayidx.us, align 8,...

If I understand it correctly, with this option SVF would allow me to treat array items as if they were different fields of a struct. Is that correct? In an...

Hi @yuleisui do you have any guess on what may have broken the `-locMM` option starting from LLVM-7.0? And do you have any thoughts on my previous message? Thank you