There are a bunch of analyses at https://github.com/rose-compiler/rose-develop/tree/master/src/midend/programAnalysis https://github.com/rose-compiler/rose-deve

There are a bunch of analyses at https://github.com/rose-compiler/rose-develop/tree/master/src/midend/programAnalysis https://github.com/rose-compiler/rose-develop/tree/master/sr..., it wasn't that hard to get there with four clicks. Of the ones you mentioned, there is what appears to be a Steensgaard analysis.