SVF icon indicating copy to clipboard operation
SVF copied to clipboard

Published 20 hours ago • verified publisher icon SVF-tools

pointer analysis

Open meweez opened this issue 3 years ago • 0 comments

hello, 1-how can I read and use the result of wpa -nander -print-pts test.ll result for pointer analysis? how can I map these node IDs to the lines of code? or variable name? and also for wpa -type -dump-icfg . what is the block description? how can find each block in .ll file?

2- we can have a pointer to function in a struct, is the call graph correct about these functions?

meweez avatar Apr 05 '21 11:04 meweez