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

Merge pull request #7280 from michaelnebel/csharp-newtonsoft-flowsummary

Browse Source 
C#: Include the NewtonSoft.JSon stubs in the flow summaries test.
This commit is contained in:
Michael Nebel
2021-12-02 08:47:58 +01:00
committed by GitHub
parent 9f8326a3fa 9e10aee8a1
commit 55c17f453f
2 changed files with 118 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

117
csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected
View File

@@ -6,6 +6,123 @@
| Microsoft.VisualBasic;Collection;false;get_Item;(System.Object);;Element of Argument[-1];ReturnValue;value |
| Microsoft.VisualBasic;Collection;false;get_Item;(System.String);;Element of Argument[-1];ReturnValue;value |
| Microsoft.VisualBasic;Collection;false;set_Item;(System.Int32, System.Object);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JArray;false;Add;(Newtonsoft.Json.Linq.JToken);;Argument[0];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JArray;false;CopyTo;(Newtonsoft.Json.Linq.JToken[], System.Int32);;Element of Argument[-1];Element of Argument[0];value |
| Newtonsoft.Json.Linq;JArray;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value |
| Newtonsoft.Json.Linq;JArray;false;Insert;(System.Int32, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JArray;false;get_Item;(System.Int32);;Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JArray;false;get_Item;(System.Object);;Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JArray;false;set_Item;(System.Int32, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JArray;false;set_Item;(System.Object, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JConstructor;false;get_Item;(System.Object);;Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JConstructor;false;set_Item;(System.Object, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JContainer;false;Add;(Newtonsoft.Json.Linq.JToken);;Argument[0];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JContainer;false;Add;(System.Object);;Argument[0];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JContainer;false;CopyTo;(Newtonsoft.Json.Linq.JToken[], System.Int32);;Element of Argument[-1];Element of Argument[0];value |
| Newtonsoft.Json.Linq;JContainer;false;CopyTo;(System.Array, System.Int32);;Element of Argument[-1];Element of Argument[0];value |
| Newtonsoft.Json.Linq;JContainer;false;Find;(System.ComponentModel.PropertyDescriptor, System.Object);;Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JContainer;false;Insert;(System.Int32, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JContainer;false;Insert;(System.Int32, System.Object);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JContainer;false;get_Item;(System.Int32);;Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JContainer;false;set_Item;(System.Int32, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JContainer;false;set_Item;(System.Int32, System.Object);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;Add;(System.Collections.Generic.KeyValuePair<System.String,Newtonsoft.Json.Linq.JToken>);;Argument[0];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;Add;(System.Collections.Generic.KeyValuePair<System.String,Newtonsoft.Json.Linq.JToken>);;Property[System.Collections.Generic.KeyValuePair<,>.Key] of Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;Add;(System.Collections.Generic.KeyValuePair<System.String,Newtonsoft.Json.Linq.JToken>);;Property[System.Collections.Generic.KeyValuePair<,>.Value] of Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;Add;(System.String, Newtonsoft.Json.Linq.JToken);;Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;Add;(System.String, Newtonsoft.Json.Linq.JToken);;Argument[1];Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;CopyTo;(System.Collections.Generic.KeyValuePair<System.String,Newtonsoft.Json.Linq.JToken>[], System.Int32);;Element of Argument[-1];Element of Argument[0];value |
| Newtonsoft.Json.Linq;JObject;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;JObject;(Newtonsoft.Json.Linq.JObject);;Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;JObject;(Newtonsoft.Json.Linq.JObject);;Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;JObject;(System.Object[]);;Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;JObject;(System.Object[]);;Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;Parse;(System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json.Linq;JObject;false;Parse;(System.String, Newtonsoft.Json.Linq.JsonLoadSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json.Linq;JObject;false;get_Item;(System.Object);;Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;get_Item;(System.Object);;Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;get_Item;(System.String);;Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;get_Item;(System.String);;Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[-1];ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;get_Keys;();;Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of Argument[-1];Element of ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;get_Values;();;Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[-1];Element of ReturnValue;value |
| Newtonsoft.Json.Linq;JObject;false;set_Item;(System.Object, Newtonsoft.Json.Linq.JToken);;Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;set_Item;(System.Object, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;set_Item;(System.Object, Newtonsoft.Json.Linq.JToken);;Argument[1];Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;set_Item;(System.String, Newtonsoft.Json.Linq.JToken);;Argument[0];Property[System.Collections.Generic.KeyValuePair<,>.Key] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;set_Item;(System.String, Newtonsoft.Json.Linq.JToken);;Argument[1];Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JObject;false;set_Item;(System.String, Newtonsoft.Json.Linq.JToken);;Argument[1];Property[System.Collections.Generic.KeyValuePair<,>.Value] of Element of Argument[-1];value |
| Newtonsoft.Json.Linq;JToken;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value |
| Newtonsoft.Json.Linq;JToken;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.IEnumerator.Current] of ReturnValue;value |
| Newtonsoft.Json.Linq;JToken;false;SelectToken;(System.String);;Argument[-1];ReturnValue;taint |
| Newtonsoft.Json.Linq;JToken;false;SelectToken;(System.String, Newtonsoft.Json.Linq.JsonSelectSettings);;Argument[-1];ReturnValue;taint |
| Newtonsoft.Json.Linq;JToken;false;SelectToken;(System.String, System.Boolean);;Argument[-1];ReturnValue;taint |
| Newtonsoft.Json.Linq;JToken;false;explicit conversion;(Newtonsoft.Json.Linq.JToken);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeAnonymousType<>;(System.String, T);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeAnonymousType<>;(System.String, T, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject;(System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject;(System.String, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject;(System.String, System.Type);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject;(System.String, System.Type, Newtonsoft.Json.JsonConverter[]);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject;(System.String, System.Type, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject<>;(System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject<>;(System.String, Newtonsoft.Json.JsonConverter[]);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeObject<>;(System.String, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXNode;(System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXNode;(System.String, System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXNode;(System.String, System.String, System.Boolean);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXNode;(System.String, System.String, System.Boolean, System.Boolean);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXmlNode;(System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXmlNode;(System.String, System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXmlNode;(System.String, System.String, System.Boolean);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;DeserializeXmlNode;(System.String, System.String, System.Boolean, System.Boolean);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;PopulateObject;(System.String, System.Object);;Argument[0];Argument[1];taint |
| Newtonsoft.Json;JsonConvert;false;PopulateObject;(System.String, System.Object, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];Argument[1];taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object, Newtonsoft.Json.Formatting);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object, Newtonsoft.Json.Formatting, Newtonsoft.Json.JsonConverter[]);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object, Newtonsoft.Json.Formatting, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object, Newtonsoft.Json.JsonConverter[]);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object, System.Type, Newtonsoft.Json.Formatting, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeObject;(System.Object, System.Type, Newtonsoft.Json.JsonSerializerSettings);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeXNode;(System.Xml.Linq.XObject);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeXNode;(System.Xml.Linq.XObject, Newtonsoft.Json.Formatting);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeXNode;(System.Xml.Linq.XObject, Newtonsoft.Json.Formatting, System.Boolean);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeXmlNode;(System.Xml.XmlNode);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeXmlNode;(System.Xml.XmlNode, Newtonsoft.Json.Formatting);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;SerializeXmlNode;(System.Xml.XmlNode, Newtonsoft.Json.Formatting, System.Boolean);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Boolean);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Byte);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Char);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.DateTime);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.DateTime, Newtonsoft.Json.DateFormatHandling, Newtonsoft.Json.DateTimeZoneHandling);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.DateTimeOffset);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.DateTimeOffset, Newtonsoft.Json.DateFormatHandling);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Decimal);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Double);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Enum);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Guid);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Int16);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Int32);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Int64);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Object);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.SByte);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Single);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.String);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.String, System.Char);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.String, System.Char, Newtonsoft.Json.StringEscapeHandling);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.TimeSpan);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.UInt16);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.UInt32);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.UInt64);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonConvert;false;ToString;(System.Uri);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonSerializer;false;Deserialize;(Newtonsoft.Json.JsonReader);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonSerializer;false;Deserialize;(Newtonsoft.Json.JsonReader, System.Type);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonSerializer;false;Deserialize;(System.IO.TextReader, System.Type);;Argument[0];ReturnValue;taint |
| Newtonsoft.Json;JsonSerializer;false;Serialize;(Newtonsoft.Json.JsonWriter, System.Object);;Argument[1];Argument[0];taint |
| Newtonsoft.Json;JsonSerializer;false;Serialize;(Newtonsoft.Json.JsonWriter, System.Object, System.Type);;Argument[1];Argument[0];taint |
| Newtonsoft.Json;JsonSerializer;false;Serialize;(System.IO.TextWriter, System.Object);;Argument[1];Argument[0];taint |
| Newtonsoft.Json;JsonSerializer;false;Serialize;(System.IO.TextWriter, System.Object, System.Type);;Argument[1];Argument[0];taint |
| System.Collections.Concurrent;BlockingCollection<>;false;Add;(T);;Argument[0];Element of Argument[-1];value |
| System.Collections.Concurrent;BlockingCollection<>;false;CopyTo;(System.Array, System.Int32);;Element of Argument[-1];Element of Argument[0];value |
| System.Collections.Concurrent;BlockingCollection<>;false;CopyTo;(T[], System.Int32);;Element of Argument[-1];Element of Argument[0];value |

2
csharp/ql/test/library-tests/dataflow/library/options
View File

@@ -1,3 +1,3 @@
semmle-extractor-options: /nostdlib /noconfig
semmle-extractor-options: --load-sources-from-project:${testdir}/../../../resources/stubs/_frameworks/Microsoft.NETCore.App/Microsoft.NETCore.App.csproj
semmle-extractor-options: --load-sources-from-project:${testdir}/../../../resources/stubs/Newtonsoft.Json/13.0.1/Newtonsoft.Json.csproj
semmle-extractor-options: ${testdir}/../../../resources/stubs/System.Web.cs