SVF icon indicating copy to clipboard operation
SVF copied to clipboard

Published 20 hours ago • verified publisher icon SVF-tools

MSSA miss some key instructions

Open bsauce opened this issue 4 years ago • 0 comments

When I use SVF MSSA to transform bitcode to MSSA form, it miss some key variable load instruction. And I don't know why. af_packet.c：4337 po->tp_version variables af_packet.ll：9597 mssa.af_packet：no this variable Files are attached below. file.zip

bsauce avatar Nov 18 '20 13:11 bsauce