Static analysis is part of how we grade the samples (using Roslyn). Obviously this tool isn't a magic wand, the goal is to get you as close as possible to relevant results that you can dig deeper into
I'd guess so. It's pretty easy with roslyn these days.
Roslyn can solve the halting problem and tell me if my program will do what it is supposed to do?