search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
943 stars 142 forks source link

IDE Solver Consolidation #735

Open fabianbs96 opened 1 month ago

fabianbs96 commented 1 month ago

Now with #733 we have two IDE solvers that hardly share common code. So, we need to factor-out common code to improve the maintenance experience. Also the new solver is overly complicated and should be simplified.

fabianbs96 commented 2 weeks ago