从配置到演示:使用 WLLVM 将复杂项目编译成一个 bitcode 文件,并使用 SVF 工具进行分析
使用SVF进行代码分析时,需要一个bitcode文件(.bc),但对于复杂的项目,一般只能得到分散的bitcode文件。GitHub上的项目WholeProgramLLVM旨在解决这个问题,使用该工具将整个项目编译成单个bitcode文件。点这里:WLLVM官方教程点这里:SVF官方教程在实际操作时,我没有完全按照官方教程来,因为年代有些久远了。1.安装conda并创建所需的Python环境直接参