SUPA icon indicating copy to clipboard operation
SUPA copied to clipboard

Published 20 hours ago • verified publisher icon SVF-tools

Assertion failure in getDef

Open tluio opened this issue 4 years ago • 0 comments

When I used SVF to process Zephyr kernel codes, I found something wrong. First, I ran cmake and got some files named build.make. Then I replaced 'clang' with 'wllvm' in these files and ran make. Some warnings like

  1. objcopy: CMakeFiles/lib__libc__minimal.dir/source/stdout/stZ4lxPb: Failed to find link section for section 36
  2. /usr/bin/ld: warning: orphan section ’.llvm_bc' from ‘kernel/libkernel.a(idle.c.obj)' being placed in section ’.llvm_bc'. occurred. But I still got zephyr.elf. Then I ran extract-bc zephyr.elf and got zephyr.elf.bc. Finally, when I ran dvf -cxt -query=all -maxcxt=3 -flowbg=10000 -cxtbg=10000 zephyr.elf.bc, something wrong occurred. dvf: SVF-master/include/Util/VFG.h:311: NodeID VFG::getDef(const PAGNode*) const: Assertion `it!=PAGNodeToDefMap.end() && "PAG node does not have a definition??"' failed.

zephyr.elf.bc is avaliable at https://github.com/tluio/Zephyr_tmp.

tluio avatar May 18 '20 16:05 tluio