@@ -31,29 +31,29 @@ Phasar is currently set up to support LLVM-13.0.
3131What is Phasar?
3232---------------
3333Phasar is a LLVM-based static analysis framework written in C++. It allows users
34- to specify arbitrary data-flow problems which are then solved in a
34+ to specify arbitrary data-flow problems which are then solved in a
3535fully-automated manner on the specified LLVM IR target code. Computing points-to
3636information, call-graph(s), etc. is done by the framework, thus you can focus on
3737what matters.
3838
3939How do I get started with Phasar?
4040---------------------------------
41- We have some documentation on Phasar in our [ _ ** wiki** _ ] ( https://github.com/secure-software-engineering/phasar/wiki ) . You probably would like to read
41+ We have some documentation on Phasar in our [ _ ** wiki** _ ] ( https://github.com/secure-software-engineering/phasar/wiki ) . You probably would like to read
4242this README first and then have a look on the material provided on https://phasar.org/
4343as well. Please also have a look on Phasar's project directory and notice the project directory
4444examples/ as well as the custom tool tools/myphasartool.cpp.
4545
4646Building Phasar
4747---------------
4848If you cannot work with one of the pre-built versions of Phasar and would like to
49- compile Phasar yourself, then please check the wiki for installing the
49+ compile Phasar yourself, then please check the wiki for installing the
5050prerequisites and compilation. It is recommended to compile Phasar yourself in
51- order to get the full C++ experience and to have full control over the build
51+ order to get the full C++ experience and to have full control over the build
5252mode.
5353
5454Please help us to improve Phasar
5555--------------------------------
56- You are using Phasar and would like to help us in the future? Then please
56+ You are using Phasar and would like to help us in the future? Then please
5757support us by filling out this [ web form] ( https://goo.gl/forms/YG6m3M7sxeUJmKyi1 ) .
5858
5959By giving us feedback you help to decide in what direction Phasar should stride in
@@ -65,8 +65,8 @@ Installation
6565Phasar can be installed using the installer scripts as explained in the following.
6666
6767### Installing Phasar on an Ubuntu system
68- In the following, we would like to give an complete example of how to install
69- Phasar using an Ubuntu or Unix-like system.
68+ In the following, we would like to give an complete example of how to install
69+ Phasar using an Ubuntu or Unix-like system.
7070
7171Therefore, we provide an installation script. To install Phasar, just navigate to the top-level
7272directory of PhASAR and use the following command:
@@ -87,7 +87,7 @@ Please follow the instructions down below.
8787$ brew install boost
8888$ brew install python3
8989# Install llvm version 10
90- $ brew install llvm
90+ $ brew install llvm
9191# Setting the paths
9292# Use LLVM's Clang rather than Apple's Clang compiler
9393$ export CC=/usr/local/opt/llvm/bin/clang
0 commit comments