Detect incorrect sanitization by value about go-flow-levee

[mlevesquedion]

I would like to qualify this example:

func Oops(s Source) {
    Sanitize(s)
    Sink(s)
}

In some cases this may in fact not be an incorrect sanitization. Indeed, if the sensitive field is a map or other pointer-like type, the sanitizer will be able to do its job because it will get a copy of the pointer.