PhASAR is a LLVM-based static analysis framework written in C++. It allows users to specify arbitrary data-flow problems which are ... Use them as a reference if you wish to modify PhASAR and ...