SVF icon indicating copy to clipboard operation
SVF copied to clipboard

Published 20 hours ago • verified publisher icon SVF-tools

Is it possible to output instrumented bitcode?

Open ksungkeun84 opened this issue 4 years ago • 2 comments

Hi, First, I appreciate your hard work on SVF. This is a really good tool. I'm trying to use this tool to analyze the program using WPA and instrument input bitcode. However, I am not able to find a way to output instrumented bitcode. Could you give me a guide to do that?

Thanks.

ksungkeun84 avatar Jan 23 '21 00:01 ksungkeun84

You can use svfModule.dumpModulesToFile(".wpa")

yuleisui avatar Jan 23 '21 01:01 yuleisui

@yuleisui Thank you for your quick response! I checked it works!

ksungkeun84 avatar Jan 23 '21 18:01 ksungkeun84