I personally would go with ANTLR for the following reasons:
- It is simpler to use than regexs and it is more powerfull
- It is easier to implement complex logic according to your rules using ANTLR
- The result code will be easier to change
- You can track current line number
- Since you do not need to compile C# code you do not need to implement whole grammar in ANTL. You can assume that the code is valid and skip some parts of it like variables initializations, conditionals, LINQ etc. and only leave those parts of grammar that you really need for verification.
Of course ANTLR will require some learning and you may need to spend a day or two playing with it. If you don't know ANTLR and you don't have much time you could try to hack the task using some regexs and C#/Java/etc. code.