Anderson points-to analysis implementation based on LLVM
This project implements the famous flow-insensitive
points-to analysis
algorithm, namely
Anderson algorithm,
on the LLVM compiler platform.
Notes: This is a toy project. It’s not well tested and corner cases are poorly considered.
Use it at your own risk!
Please ensure you have LLVM installed before build. The recommended LLVM version
is LLVM 10.0.0, but other LLVM versions might work as well (not tested).
If you are using Ubuntu, execute the following command to install required
components before build:
sudo apt install build-essential cmake llvm-dev
If you want to build doxygen documentation, you need to install doxygen as well:
sudo apt install doxygen
Clone the repository and switch into source tree root:
git clone https://github.com/Lancern/p2a.gitcd p2a
Create a build directory:
mkdir buildcd build
Then you can build p2a by the familiar two-step build:
cmake ..cmake --build .
In order to build doxygen documents, just add the --target switch when
invoking cmake --build . in the last step of build:
cmake --build . --target doxygen
The doxygen output directory is docs/doxygen.
This project is open-sourced under the MIT license.