Checking for exception handling in xml comments?

Question

Is there any C # code parsing tool that can check if exceptions in XML comments are handled somewhere in the call chain?

Assuming that only those exceptions that need to be handled are an xml comment, this would be quite helpful.

Answer 1

I have not heard of anything, since you cannot use reflection to get comments in a compiled assembly, I do not think it is possible. A compiler analysis or code analysis tool could check if any exceptions (or downstream?) Were correctly commented out in the XML comments, but more on that.

Spe# Microsoft Research. :

Spe# - #. . - , .

, , , . , Java: , , / , , - . , Spe# .