How to create custom FXCop static analysis rule that checks a specific property value

Question

Hi, I would like to use the FXCop introspection API to create a custom rule that verifies the following:

in MethodA, the code sets a property B on a static class C to value D :

void MethodA() { C.B=D; }

what i would like is that inside override ProblemCollection Check(member m)

I want to check: if m == MethodA { Assert: m assigns the value D to C.B }

how can I do this?