I have been trying to run ERASan on some real-world examples and encountered some issues. On some crates (e.g., memchr-2.3.4), I do encounter the following assertion: ~/ERASan/build/SVF/lib/MemoryModel/MemModel.cpp:206: virtual bool SVF::ObjTypeInfo::isNonPtrFieldObj(const SVF::LocationSet&): 'Assertion hasIntersection && "cannot find field of specified offset"' failed..
Have you already seen this assertion and maybe know a fix?
I have been trying to run ERASan on some real-world examples and encountered some issues. On some crates (e.g., memchr-2.3.4), I do encounter the following assertion:
~/ERASan/build/SVF/lib/MemoryModel/MemModel.cpp:206: virtual bool SVF::ObjTypeInfo::isNonPtrFieldObj(const SVF::LocationSet&): 'Assertion hasIntersection && "cannot find field of specified offset"' failed..Have you already seen this assertion and maybe know a fix?