Artifacts
- Phasar – https://github.com/secure-software-engineering/phasar/
- LLVM “Hello, World!” – llvm-hello_world.zip
LLVM 5
- LLVM installation script – install-llvm-5.0.1.sh.zip
$ unzip install-llvm-5.0.1.sh._zip
$ ./install-llvm-5.0.1.sh
- Docker container –
docker run -ti bhermann/phasar:pldi18(outdated) - v0319 VirtualBox image – Phasar@PLDI_2.0.ova (password ‘pldi18’)
LLVM 8
- LLVM installation script – install-llvm-8.0.0.sh.zip
$ unzip install-llvm-8.0.0sh._zip
$ ./install-llvm-8.0.0.sh
- v0619 VirtualBox image – Phasar@PLDI_3.0.ova (password ‘pldi18’)
LLVM 10
- Latest (v0320) VirtualBox image – DECA.ova (password ‘vm’)
Slides and taint analysis description presented at the PLDI’18 tutorial
- phasar_block_1.pdf
- phasar_block_2-3.pdf
- phasar_block_4.pdf
- taint_analysis_plugin.zip (includes a possible solution)
Note on LLVM
If you would like to compile Phasar yourself and make use of all its features, you have to build LLVM yourself using the installation script in the above; it is required that LLVM is build in a special configuration.
Example projects
- Simple CMake project – simple_cmake_project.zip
- Simple Makefile project – simple_makefile_project.zip
- Monotone Framework: Taint Analysis Template (LLVM 8)
- IFDS Framework: Taint Analysis Template (LLVM 8)