Not sure if this is possible, but I just found a memory leak that might have been caught with static analysis :
FParameters := TList<IProjectParameter>.Create;
FParameters := nil; // << should be FParameters.Free;
I guess the rule could be defined as ".Free never called on object" ??
Just an idea.