Predicate Input::encodeWithContent
Gets the textual representation of with-content c
used in MaD.
arg
will be printed in square brackets ([]
) after the result, unless
arg
is the empty string.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl
string encodeWithContent(ContentSet c, string arg)