There was a product in the 90s that ran on the PC and did static analysis on COBOL programs. I can't remember the exact name of it, something like renew-somethi

There was a product in the 90s that ran on the PC and did static analysis on COBOL programs. I can't remember the exact name of it, something like renew-something-or-other. It had a query language where you could follow either the possible control flow or data flow from one point to others (or to a point from earlier ones). The only thing I've used like it recently was OQL (Object Query Language) for querying the Java heap. I remember Intellij had some static dataflow analysis and I do miss it working in RubyMine.