lattis Data flow analysis. Takes in a specification for datapoints in a Control Flow Graph and does Reaching Definitions analysis on it.