llvm anderson

LLVM-Anderson

該項目在LLVM編譯器平台上實現了著名的流動不敏感分析算法，即Anderson算法。

注意：這是一個玩具項目。它的測試不佳，角落案件的考慮很差。使用它自己的風險！

建造

先決條件

請確保在構建之前安裝了LLVM。推薦的LLVM版本是LLVM 10.0.0，但其他LLVM版本也可能起作用（未測試）。

如果您使用的是Ubuntu，請執行以下命令在構建之前安裝所需的組件：

sudo apt install build-essential cmake llvm-dev

如果要構建Doxygen文檔，則還需要安裝doxygen ：

sudo apt install doxygen

建造二進製文件

克隆存儲庫，然後切換到源樹根：

git clone https://github.com/Lancern/p2a.git
cd p2a

創建一個構建目錄：

mkdir build
cd build

然後，您可以通過熟悉的兩步構建來構建p2a ：

cmake ..
cmake --build .

構建doxygen文檔

為了構建doxygen文檔，只需在調用cmake時添加--target開關cmake --build .在構建的最後一步中：

cmake --build . --target doxygen

doxygen輸出目錄是docs/doxygen 。

執照

該項目是根據MIT許可證開源的。