Skip to content

Commit 1a7908c

Browse files
MathiasVPMathiasVP
committed
PS: Add generated models for .NET runtime.
1 parent 61021b6 commit 1a7908c

File tree

2,184 files changed

+22192
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

2,184 files changed

+22192
-0
lines changed

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.ibc.ibcprofiledata.model.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.ibc.ibcprofiledata", "Method[get_config]", "Argument[this].SyntheticField[_config]", "ReturnValue", "value"]
8+
- ["ilcompiler.ibc.ibcprofiledata", "Method[ibcprofiledata]", "Argument[0]", "Argument[this].SyntheticField[_config]", "value"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.ibc.mibcconfig.model.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.ibc.mibcconfig", "Method[fromkeyvaluemap]", "Argument[0].Element", "ReturnValue", "taint"]
8+
- ["ilcompiler.ibc.mibcconfig", "Method[tostring]", "Argument[this]", "ReturnValue", "taint"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.methodprofiledata.model.yml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.methodprofiledata", "Method[methodprofiledata]", "Argument[0]", "Argument[this].Field[Method]", "value"]
8+
- ["ilcompiler.methodprofiledata", "Method[methodprofiledata]", "Argument[3]", "Argument[this].Field[CallWeights]", "value"]
9+
- ["ilcompiler.methodprofiledata", "Method[methodprofiledata]", "Argument[5]", "Argument[this].Field[SchemaData]", "value"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.profiledata.model.yml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.profiledata", "Method[getallmethodprofiledata]", "Argument[this]", "ReturnValue", "taint"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.reflection.readytorun.amd64.gcslottable.model.yml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.reflection.readytorun.amd64.gcslottable", "Method[gcslot]", "Argument[2]", "Argument[this].Field[StackSlot]", "value"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.reflection.readytorun.amd64.gctransition.model.yml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.reflection.readytorun.amd64.gctransition", "Method[tostring]", "Argument[this].Field[SlotState]", "ReturnValue", "value"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.reflection.readytorun.amd64.unwindinfo.model.yml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.reflection.readytorun.amd64.unwindinfo", "Method[tostring]", "Argument[this]", "ReturnValue", "taint"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.reflection.readytorun.debuginfo.model.yml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.reflection.readytorun.debuginfo", "Method[debuginfo]", "Argument[0]", "Argument[this]", "taint"]
8+
- ["ilcompiler.reflection.readytorun.debuginfo", "Method[get_boundslist]", "Argument[this]", "ReturnValue", "taint"]
9+
- ["ilcompiler.reflection.readytorun.debuginfo", "Method[get_variableslist]", "Argument[this]", "ReturnValue", "taint"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.reflection.readytorun.disassemblinggenericcontext.model.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.reflection.readytorun.disassemblinggenericcontext", "Method[disassemblinggenericcontext]", "Argument[0]", "Argument[this].Field[TypeParameters]", "value"]
8+
- ["ilcompiler.reflection.readytorun.disassemblinggenericcontext", "Method[disassemblinggenericcontext]", "Argument[1]", "Argument[this].Field[MethodParameters]", "value"]

‎powershell/ql/lib/semmle/code/powershell/frameworks/generated/ilcompiler.reflection.readytorun.disassemblingtypeprovider.model.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/csharp-all
5+
extensible: summaryModel
6+
data:
7+
- ["ilcompiler.reflection.readytorun.disassemblingtypeprovider", "Method[getgenericmethodparameter]", "Argument[0].Field[MethodParameters].Element", "ReturnValue", "value"]
8+
- ["ilcompiler.reflection.readytorun.disassemblingtypeprovider", "Method[getgenerictypeparameter]", "Argument[0].Field[TypeParameters].Element", "ReturnValue", "value"]

0 commit comments

Comments
 (0)