On: Rose: Compiler Infrastructure for Source-to-Source Program Transformation

[tom_mellior]

There are a bunch of analyses at 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.