This is not only possible but has been done commercially. I have a friend that contracted for a company doing y2k work. The main guy have written a system to p

This is not only possible but has been done commercially. I have a friend that contracted for a company doing y2k work. The main guy have written a system to parse cobol, do pattern matching to find y2k issues, apply transforms to the AST to fix the problems and the serialise back to cobol. It supported a dozen of so cobol variants. I think it was very successful.