secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
919 stars 140 forks source link

Provide LLVM's CFL-based Alias Analyses #687

Closed fabianbs96 closed 6 months ago

fabianbs96 commented 7 months ago

As LLVM has removed the CFL-based alias analyses (CFLAndersAliasAnalysis and CFLSteensAliasAnalysis) that PhASAR depends on , we cannot upgrade the LLVM version. To enable upgrading, we temporarly provide a copy of these LLVM analyses in PhASAR's code base.