In addition, due to implementation limitations, DSA is known to produce even more conservative, and thus pessimistic, results on modern LLVM releases [2].
an updated version of DSA (or a more precise, but also less scalable analysis) would already likely yield substantially improved forward-edge results.