Errors and Bug Reporting

Errors and Bugs

The Phasar framework is still under development. Thus, it might contain errors that are (un)known to the developers. If you find an error please create an issue in our tracker on Github. The report should include at least a summary of what you were doing when you hit the error and a complete error message (if possible). We will try to fix bugs as quickly as possible. If you are familiar with program analysis and LLVM you are free to fix the bug, improve Phasar, and send a pull request.

Observations and Known Bugs

Runtime Stack Overflows

We experienced some segmentation faults caused by the OS's stack size limit when analyzing programs with more than ~ > 240 k IR instructions or ~ > 21 k call-sites. The limits can be check with

$ ulimit -a

In case you would like to analyze larger programs adjust the stack size limit to your needs e.g. set the limit to 16 MB:

$ ulimit -s 16777216s

Problems When Statically Linking Against LLVM

When statically linking Phasar against LLVM users will encounter a runtime error similar to the following:

./phasar
: CommandLine Error: Option 'verify-dom-info' registered more than once!
LLVM ERROR: inconsistency in registered CommandLine options

The bug can be fixed by dynamically linking against the LLVM libraries. When installing Phasar using the bootstrap.sh script on Unix/Linus systems, LLVM will be automatically build in a shared library configuration. We are currently in the process of improving Phasar's library dependencies such that we will eventually support linking statically, too.