hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6577 from tamasvajk/fix/cil-modified-pointer

Browse Source 
C#: Temporarily extract modified pointers as unmodified during CIL ex…
This commit is contained in:
Tamás Vajk
2021-09-02 10:48:51 +02:00
committed by GitHub
parent 1ba26237a7 0ba334bb22
commit 82f61ca015
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)