Is there any means in extended reflection for doing simple aliasing analysis? My main purpose is to check whether any local variable points to the parameter of the method?
There is no such means in ExtendedReflection. With generics, structures, by-ref parameters, and even unsafe code, this can be quite tricky.
Nikolai Tillmann - Tell us how you use Pex
There is no such means in ExtendedReflection. With generics, structures, by-ref parameters, and even unsafe code, this can be quite tricky.
Nikolai Tillmann - Tell us how you use Pex