iAI icon indicating copy to clipboard operation
iAI copied to clipboard

Update LLVMBasedAliasAnalysis

Open fabianbs96 opened this issue 1 year ago • 2 comments

LLVM has removed their CFL based alias analysis implementations (CFLAndersAA and CFLSteensAA -- https://reviews.llvm.org/D139703), so we should remove their uses as well. This also removes some bugs due to known crashes of both CFL AA for some larger target programs.

#329

fabianbs96 avatar Apr 14 '23 15:04 fabianbs96

@fabianbs96 @MMory you should discuss internally what's a good way forward from this. Loosing these AA algorithms reduces phasars precision, so we probably need some form of replacement algorithms that ship with phasar.

vulder avatar Apr 18 '23 19:04 vulder

As agreed we won't merge this PR until we have a proper replacement for the CFLAndersAA

fabianbs96 avatar Apr 22 '23 16:04 fabianbs96