C#: Encode " in BuildDisplayName

This commit is contained in:
Tom Hvitved
2021-05-23 14:37:05 +02:00
parent 7ac04a8650
commit 2a33756bdf
2 changed files with 3 additions and 3 deletions

View File

@@ -373,7 +373,7 @@ namespace Semmle.Extraction.CSharp
var elementType = array.ElementType;
if (elementType.MetadataName.Contains("`"))
{
trapFile.Write(elementType.Name);
trapFile.Write(TrapExtensions.EncodeString(elementType.Name));
return;
}
elementType.BuildDisplayName(cx, trapFile);
@@ -480,7 +480,7 @@ namespace Semmle.Extraction.CSharp
}
else
{
trapFile.Write(namedType.Name);
trapFile.Write(TrapExtensions.EncodeString(namedType.Name));
}
if (namedType.IsGenericType && namedType.TypeKind != TypeKind.Error && namedType.TypeArguments.Any())

View File

@@ -117,7 +117,7 @@ namespace Semmle.Extraction
return s;
}
private static string EncodeString(string s) => s.Replace("\"", "\"\"");
public static string EncodeString(string s) => s.Replace("\"", "\"\"");
/// <summary>
/// Output a string to the trap file, such that the encoded output does not exceed