hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 12:15:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Temporarily extract modified pointers as unmodified during CIL extraction

Browse Source
This commit is contained in:
Tamas Vajk
2021-08-31 14:26:36 +02:00
parent c8a5397085
commit 0ba334bb22
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
csharp/extractor/Semmle.Extraction.CIL/Entities/PointerType.cs
View File

@@ -11,6 +11,14 @@ namespace Semmle.Extraction.CIL.Entities
public PointerType(Context cx, Type pointee) : base(cx)
{
this.pointee = pointee;
if (pointee is ModifiedType mt)
{
cx.Extractor.Logger.Log(
Util.Logging.Severity.Info,
$"Pointer to modified type {pointee.GetQualifiedName()} is changed to {mt.Unmodified.GetQualifiedName()}");
this.pointee = mt.Unmodified;
}
}
public override bool Equals(object? obj)