hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-21 06:55:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Update external models tests.

Browse Source
This commit is contained in:
Michael Nebel
2022-06-03 09:59:34 +02:00
parent d6fa7db9f2
commit 32b69d3e0c
4 changed files with 57 additions and 57 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
csharp/ql/test/library-tests/dataflow/external-models/ExternalFlow.ql
View File

@@ -11,31 +11,31 @@ class SummaryModelTest extends SummaryModelCsv {
override predicate row(string row) {
row =
[
//"namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind",
"My.Qltest;D;false;StepArgRes;(System.Object);;Argument[0];ReturnValue;taint",
"My.Qltest;D;false;StepArgArg;(System.Object,System.Object);;Argument[0];Argument[1];taint",
"My.Qltest;D;false;StepArgQual;(System.Object);;Argument[0];Argument[Qualifier];taint",
"My.Qltest;D;false;StepFieldGetter;();;Argument[Qualifier].Field[My.Qltest.D.Field];ReturnValue;value",
"My.Qltest;D;false;StepFieldSetter;(System.Object);;Argument[0];Argument[Qualifier].Field[My.Qltest.D.Field];value",
"My.Qltest;D;false;StepFieldSetter;(System.Object);;Argument[Qualifier];ReturnValue.Field[My.Qltest.D.Field2];value",
"My.Qltest;D;false;StepPropertyGetter;();;Argument[Qualifier].Property[My.Qltest.D.Property];ReturnValue;value",
"My.Qltest;D;false;StepPropertySetter;(System.Object);;Argument[0];Argument[Qualifier].Property[My.Qltest.D.Property];value",
"My.Qltest;D;false;StepElementGetter;();;Argument[Qualifier].Element;ReturnValue;value",
"My.Qltest;D;false;StepElementSetter;(System.Object);;Argument[0];Argument[Qualifier].Element;value",
"My.Qltest;D;false;Apply<,>;(System.Func<S,T>,S);;Argument[1];Argument[0].Parameter[0];value",
"My.Qltest;D;false;Apply<,>;(System.Func<S,T>,S);;Argument[0].ReturnValue;ReturnValue;value",
"My.Qltest;D;false;Apply2<>;(System.Action<S>,S,S);;Argument[1].Field[My.Qltest.D.Field];Argument[0].Parameter[0];value",
"My.Qltest;D;false;Apply2<>;(System.Action<S>,S,S);;Argument[2].Field[My.Qltest.D.Field2];Argument[0].Parameter[0];value",
"My.Qltest;D;false;Map<,>;(S[],System.Func<S,T>);;Argument[0].Element;Argument[1].Parameter[0];value",
"My.Qltest;D;false;Map<,>;(S[],System.Func<S,T>);;Argument[1].ReturnValue;ReturnValue.Element;value",
"My.Qltest;D;false;Parse;(System.String,System.Int32);;Argument[0];Argument[1];taint",
"My.Qltest;E;true;get_MyProp;();;Argument[Qualifier].Field[My.Qltest.E.MyField];ReturnValue;value",
"My.Qltest;E;true;set_MyProp;(System.Object);;Argument[0];Argument[Qualifier].Field[My.Qltest.E.MyField];value",
//"namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind;provenance",
"My.Qltest;D;false;StepArgRes;(System.Object);;Argument[0];ReturnValue;taint;manual",
"My.Qltest;D;false;StepArgArg;(System.Object,System.Object);;Argument[0];Argument[1];taint;manual",
"My.Qltest;D;false;StepArgQual;(System.Object);;Argument[0];Argument[Qualifier];taint;manual",
"My.Qltest;D;false;StepFieldGetter;();;Argument[Qualifier].Field[My.Qltest.D.Field];ReturnValue;value;manual",
"My.Qltest;D;false;StepFieldSetter;(System.Object);;Argument[0];Argument[Qualifier].Field[My.Qltest.D.Field];value;manual",
"My.Qltest;D;false;StepFieldSetter;(System.Object);;Argument[Qualifier];ReturnValue.Field[My.Qltest.D.Field2];value;manual",
"My.Qltest;D;false;StepPropertyGetter;();;Argument[Qualifier].Property[My.Qltest.D.Property];ReturnValue;value;manual",
"My.Qltest;D;false;StepPropertySetter;(System.Object);;Argument[0];Argument[Qualifier].Property[My.Qltest.D.Property];value;manual",
"My.Qltest;D;false;StepElementGetter;();;Argument[Qualifier].Element;ReturnValue;value;manual",
"My.Qltest;D;false;StepElementSetter;(System.Object);;Argument[0];Argument[Qualifier].Element;value;manual",
"My.Qltest;D;false;Apply<,>;(System.Func<S,T>,S);;Argument[1];Argument[0].Parameter[0];value;manual",
"My.Qltest;D;false;Apply<,>;(System.Func<S,T>,S);;Argument[0].ReturnValue;ReturnValue;value;manual",
"My.Qltest;D;false;Apply2<>;(System.Action<S>,S,S);;Argument[1].Field[My.Qltest.D.Field];Argument[0].Parameter[0];value;manual",
"My.Qltest;D;false;Apply2<>;(System.Action<S>,S,S);;Argument[2].Field[My.Qltest.D.Field2];Argument[0].Parameter[0];value;manual",
"My.Qltest;D;false;Map<,>;(S[],System.Func<S,T>);;Argument[0].Element;Argument[1].Parameter[0];value;manual",
"My.Qltest;D;false;Map<,>;(S[],System.Func<S,T>);;Argument[1].ReturnValue;ReturnValue.Element;value;manual",
"My.Qltest;D;false;Parse;(System.String,System.Int32);;Argument[0];Argument[1];taint;manual",
"My.Qltest;E;true;get_MyProp;();;Argument[Qualifier].Field[My.Qltest.E.MyField];ReturnValue;value;manual",
"My.Qltest;E;true;set_MyProp;(System.Object);;Argument[0];Argument[Qualifier].Field[My.Qltest.E.MyField];value;manual",
"My.Qltest;G;false;GeneratedFlow;(System.Object);;Argument[0];ReturnValue;value;generated",
"My.Qltest;G;false;GeneratedFlowArgs;(System.Object,System.Object);;Argument[0];ReturnValue;value;generated",
"My.Qltest;G;false;GeneratedFlowArgs;(System.Object,System.Object);;Argument[1];ReturnValue;value;generated",
"My.Qltest;G;false;MixedFlowArgs;(System.Object,System.Object);;Argument[0];ReturnValue;value;generated",
"My.Qltest;G;false;MixedFlowArgs;(System.Object,System.Object);;Argument[1];ReturnValue;value",
"My.Qltest;G;false;MixedFlowArgs;(System.Object,System.Object);;Argument[1];ReturnValue;value;manual",
]
}
}

12
csharp/ql/test/library-tests/dataflow/external-models/sinks.ql
View File

@@ -8,12 +8,12 @@ class SinkModelTest extends SinkModelCsv {
override predicate row(string row) {
row =
[
//"namespace;type;overrides;name;signature;ext;spec;kind",
"My.Qltest;B;false;Sink1;(System.Object);;Argument[0];code",
"My.Qltest;B;false;SinkMethod;();;ReturnValue;xss",
"My.Qltest;SinkAttribute;false;;;Attribute;ReturnValue;html",
"My.Qltest;SinkAttribute;false;;;Attribute;Argument;remote",
"My.Qltest;SinkAttribute;false;;;Attribute;;sql"
//"namespace;type;overrides;name;signature;ext;spec;kind;provenance",
"My.Qltest;B;false;Sink1;(System.Object);;Argument[0];code;manual",
"My.Qltest;B;false;SinkMethod;();;ReturnValue;xss;manual",
"My.Qltest;SinkAttribute;false;;;Attribute;ReturnValue;html;manual",
"My.Qltest;SinkAttribute;false;;;Attribute;Argument;remote;manual",
"My.Qltest;SinkAttribute;false;;;Attribute;;sql;manual"
]
}
}

30
csharp/ql/test/library-tests/dataflow/external-models/srcs.ql
View File

@@ -8,21 +8,21 @@ class SourceModelTest extends SourceModelCsv {
override predicate row(string row) {
row =
[
//"namespace;type;overrides;name;signature;ext;spec;kind",
"My.Qltest;A;false;Src1;();;ReturnValue;local",
"My.Qltest;A;false;Src1;(System.String);;ReturnValue;local",
"My.Qltest;A;false;Src1;;;ReturnValue;local",
"My.Qltest;A;false;Src2;();;ReturnValue;local",
"My.Qltest;A;false;Src3;();;ReturnValue;local",
"My.Qltest;A;true;Src2;();;ReturnValue;local",
"My.Qltest;A;true;Src3;();;ReturnValue;local",
"My.Qltest;A;false;SrcArg;(System.Object);;Argument[0];local",
"My.Qltest;A;false;SrcArg;(System.Object);;Argument;local",
"My.Qltest;A;true;SrcParam;(System.Object);;Parameter[0];local",
"My.Qltest;SourceAttribute;false;;;Attribute;ReturnValue;local",
"My.Qltest;SourceAttribute;false;;;Attribute;Parameter;local",
"My.Qltest;SourceAttribute;false;;;Attribute;;local",
"My.Qltest;A;false;SrcTwoArg;(System.String,System.String);;ReturnValue;local"
//"namespace;type;overrides;name;signature;ext;spec;kind;provenance",
"My.Qltest;A;false;Src1;();;ReturnValue;local;manual",
"My.Qltest;A;false;Src1;(System.String);;ReturnValue;local;manual",
"My.Qltest;A;false;Src1;;;ReturnValue;local;manual",
"My.Qltest;A;false;Src2;();;ReturnValue;local;manual",
"My.Qltest;A;false;Src3;();;ReturnValue;local;manual",
"My.Qltest;A;true;Src2;();;ReturnValue;local;manual",
"My.Qltest;A;true;Src3;();;ReturnValue;local;manual",
"My.Qltest;A;false;SrcArg;(System.Object);;Argument[0];local;manual",
"My.Qltest;A;false;SrcArg;(System.Object);;Argument;local;manual",
"My.Qltest;A;true;SrcParam;(System.Object);;Parameter[0];local;manual",
"My.Qltest;SourceAttribute;false;;;Attribute;ReturnValue;local;manual",
"My.Qltest;SourceAttribute;false;;;Attribute;Parameter;local;manual",
"My.Qltest;SourceAttribute;false;;;Attribute;;local;manual",
"My.Qltest;A;false;SrcTwoArg;(System.String,System.String);;ReturnValue;local;manual"
]
}
}

30
csharp/ql/test/library-tests/dataflow/external-models/steps.ql
View File

@@ -10,21 +10,21 @@ private class SummaryModelTest extends SummaryModelCsv {
override predicate row(string row) {
row =
[
//"namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind",
"My.Qltest;C;false;StepArgRes;(System.Object);;Argument[0];ReturnValue;taint",
"My.Qltest;C;false;StepArgArg;(System.Object,System.Object);;Argument[0];Argument[1];taint",
"My.Qltest;C;false;StepArgQual;(System.Object);;Argument[0];Argument[Qualifier];taint",
"My.Qltest;C;false;StepQualRes;();;Argument[Qualifier];ReturnValue;taint",
"My.Qltest;C;false;StepQualArg;(System.Object);;Argument[Qualifier];Argument[0];taint",
"My.Qltest;C;false;StepFieldGetter;();;Argument[Qualifier].Field[My.Qltest.C.Field];ReturnValue;value",
"My.Qltest;C;false;StepFieldSetter;(System.Int32);;Argument[0];Argument[Qualifier].Field[My.Qltest.C.Field];value",
"My.Qltest;C;false;StepPropertyGetter;();;Argument[Qualifier].Property[My.Qltest.C.Property];ReturnValue;value",
"My.Qltest;C;false;StepPropertySetter;(System.Int32);;Argument[0];Argument[Qualifier].Property[My.Qltest.C.Property];value",
"My.Qltest;C;false;StepElementGetter;();;Argument[Qualifier].Element;ReturnValue;value",
"My.Qltest;C;false;StepElementSetter;(System.Int32);;Argument[0];Argument[Qualifier].Element;value",
"My.Qltest;C+Generic<,>;false;StepGeneric;(T);;Argument[0];ReturnValue;value",
"My.Qltest;C+Generic<,>;false;StepGeneric2<>;(S);;Argument[0];ReturnValue;value",
"My.Qltest;C+Base<>;true;StepOverride;(T);;Argument[0];ReturnValue;value"
//"namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind;provenance",
"My.Qltest;C;false;StepArgRes;(System.Object);;Argument[0];ReturnValue;taint;manual",
"My.Qltest;C;false;StepArgArg;(System.Object,System.Object);;Argument[0];Argument[1];taint;manual",
"My.Qltest;C;false;StepArgQual;(System.Object);;Argument[0];Argument[Qualifier];taint;manual",
"My.Qltest;C;false;StepQualRes;();;Argument[Qualifier];ReturnValue;taint;manual",
"My.Qltest;C;false;StepQualArg;(System.Object);;Argument[Qualifier];Argument[0];taint;manual",
"My.Qltest;C;false;StepFieldGetter;();;Argument[Qualifier].Field[My.Qltest.C.Field];ReturnValue;value;manual",
"My.Qltest;C;false;StepFieldSetter;(System.Int32);;Argument[0];Argument[Qualifier].Field[My.Qltest.C.Field];value;manual",
"My.Qltest;C;false;StepPropertyGetter;();;Argument[Qualifier].Property[My.Qltest.C.Property];ReturnValue;value;manual",
"My.Qltest;C;false;StepPropertySetter;(System.Int32);;Argument[0];Argument[Qualifier].Property[My.Qltest.C.Property];value;manual",
"My.Qltest;C;false;StepElementGetter;();;Argument[Qualifier].Element;ReturnValue;value;manual",
"My.Qltest;C;false;StepElementSetter;(System.Int32);;Argument[0];Argument[Qualifier].Element;value;manual",
"My.Qltest;C+Generic<,>;false;StepGeneric;(T);;Argument[0];ReturnValue;value;manual",
"My.Qltest;C+Generic<,>;false;StepGeneric2<>;(S);;Argument[0];ReturnValue;value;manual",
"My.Qltest;C+Base<>;true;StepOverride;(T);;Argument[0];ReturnValue;value;manual"
]
}
}