Open
Description
We should upgrade PhASAR's required maximum LLVM version to something >15 to profit from API improvements and for compatibility with other tools, e.g., the IR used in rustc
.
We should start with upgrading LLVM to 16.
Prerequisites:
- With LLVM 16, our clone of LLVM's CFLAndersAnalysis does not work anymore. We should either fix or replace it,