Heyuan Shi

icon indicating a website link https://shiheyuan.github.io/ icon indicating an email [email protected]

icon company Central South University icon location Changsha, Hunan, China

Results 2 comments of Heyuan Shi

Assertion error when running Andersen pointer analysis

I met the same problem when I run `wpa --nander vmlinux.bc`. The same error log: wpa: SVF/include/MemoryModel/MemModel.h:571: SymID SymbolTableInfo::getValSym(const Value*): Assertion `iter!=valSymMap.end() &&"value sym not found"' failed.

Assertion error when running Andersen pointer analysis

> Tried running: wpa --ander --stat vmlinux.bc > Stderr: > wpa: /SVF/include/MemoryModel/MemModel.h:571: SymID SymbolTableInfo::getValSym(const Value*): Assertion `iter!=valSymMap.end() &&"value sym not found"' failed. > > I obtained the LLVM bit code...