Hacker News Reader

Has anyone integrated "program analysis" algorithms into ROSE?

Even basic stuff like Steensgaard, Andersen can take a lot of effort to integrate into new frameworks

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.