PhASAR基于LLVM的静态分析框架 1220版 安全软件工程组 Philipp Schubert（ ）等 另请参阅 科 状态 主 发展 当前支持的LLVM版本 Phasar当前设置为支持LLVM-10.0.0和LLVM-9.0.0 / 1。 但是，LLVM-8.0.0仍然可以在Phasar上正常工作（顶层CMakeLists.txt中的find_package(LLVM 9 REQUIRED CONFIG)可能需要调整）。 什么是法萨？ Phasar是用C ++编写的基于LLVM的