A static analysis tool for Progress OpenEdge