Integrate the $JF_N$ configuration from the paper "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report" (https://doi.org/10.4230/LIPIcs.ECOOP.2024.36).
We need to find a good way of integrating $JF_{ND}$ as well, without cloning the whole solver.
We also may want to integrate this solver into the phasar-cli tool
Integrate the $JF_N$ configuration from the paper "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report" (https://doi.org/10.4230/LIPIcs.ECOOP.2024.36).
phasar-clitool