Post null/notnull at dereference level 0 of a parameter that is something other than a single-level pointer: %1$ls %2$ls. ...

Post null/notnull at dereference level 0 of a parameter that is something other than a single-level pointer: %1$ls %2$ls. This may indicate a mis-annotation.  Consider using _Post_satisfies_ (for annotation of a value type) or _Outptr_(for annotation of a multi-level pointer type) instead.