Michael Nebel
|
ba23393c0d
|
C#: Update test as we now also implicitly gets flow summary for StreamReader.
|
2021-12-13 13:51:53 +01:00 |
|
Michael Nebel
|
88bb8a2704
|
C#: Update flow summaries test cases.
|
2021-12-13 13:14:49 +01:00 |
|
Michael Nebel
|
d699ca9aa8
|
C#: Flow summaries should also apply for overides or virtual members in abstract classes.
|
2021-12-13 13:09:40 +01:00 |
|
Michael Nebel
|
327cf444f4
|
C#: Convert Newtonsoft.JSon.Linq.JObject and Newtonsoft.JSon.Linq.JToken flow to CSV format.
|
2021-12-13 10:50:49 +01:00 |
|
Michael Nebel
|
f3c0eadbce
|
C#: Fix the existing callableFlow for JObject to target the inherited ToString methods from JToken.
|
2021-12-13 10:50:49 +01:00 |
|
Michael Nebel
|
6301e726ee
|
C#: Update HttpServerUtility stub with HtmlEncode method and update flow summaries test.
|
2021-12-13 09:19:41 +01:00 |
|
Michael Nebel
|
07a4f5f748
|
C#: Update FlowSummaries test as the bogus flow summaries for the KeyValuePair default constructor has been removed.
|
2021-12-13 09:19:41 +01:00 |
|
Michael Nebel
|
a6360215f3
|
Merge pull request #7304 from michaelnebel/csharp-mad-as-csv2
C#: Convert flow summaries to CSV format.
|
2021-12-13 08:56:06 +01:00 |
|
Tom Hvitved
|
cf42427f54
|
Merge pull request #7321 from hvitved/csharp/cil/unique-type
C#: Avoid CIL instructions with multiple types
|
2021-12-10 09:58:06 +01:00 |
|
Tom Hvitved
|
f7f3890b40
|
Merge pull request #7320 from hvitved/csharp/unknown-type
C#: Populate `UnknownType`
|
2021-12-10 09:57:55 +01:00 |
|
Michael Nebel
|
d60b90acd3
|
C#: Manual update of System.String and System.Convert flow summaries.
|
2021-12-09 16:34:42 +01:00 |
|
Michael Nebel
|
df482a9603
|
Merge pull request #7314 from michaelnebel/csharp-stubs-dataflow-global
C#: Update tests dataflow/global tests to use stubs.
|
2021-12-09 16:31:39 +01:00 |
|
Michael Nebel
|
69f42b9c74
|
C#: Update remaining tests.
|
2021-12-09 15:21:08 +01:00 |
|
Michael Nebel
|
992801b7cb
|
C#: Update GetAnOutNode test.
|
2021-12-09 13:55:04 +01:00 |
|
Tom Hvitved
|
9ffa236c51
|
Merge pull request #7288 from hvitved/cfg/enclosing-scope
Shared CFG: Include CFG scope in `TElementNode`
|
2021-12-09 13:39:48 +01:00 |
|
Tom Hvitved
|
069cf9d17f
|
C#: Exclude stubs in GetAnOutNode.ql test
|
2021-12-09 13:33:14 +01:00 |
|
Michael Nebel
|
2f85735b6a
|
C#: Use stubs instead of dll's in the dataflow global tests.
|
2021-12-09 13:25:11 +01:00 |
|
Michael Nebel
|
9f4b965202
|
C#: Update the flow summaries produced for Task<> after introduction of synthetic fields.
|
2021-12-09 10:11:49 +01:00 |
|
Michael Nebel
|
a43704ab43
|
C#: Update dataflow/global tests based on synthetic fields.
|
2021-12-09 10:11:48 +01:00 |
|
Anders Schack-Mulligen
|
38d0bb4a60
|
Merge pull request #7260 from hvitved/dataflow/argument-parameter-matching
Data flow: Introduce `ParameterPosition` and `ArgumentPosition`
|
2021-12-08 12:49:08 +01:00 |
|
Erik Krogh Kristensen
|
3c59aa319e
|
Merge pull request #7245 from erik-krogh/explicit-this-all-the-places
All langs: apply the explicit-this patch to all remaining code
|
2021-12-07 10:40:26 +01:00 |
|
Tom Hvitved
|
243b92b28c
|
C#: Avoid CIL instructions with multiple types
|
2021-12-06 14:42:41 +01:00 |
|
Tom Hvitved
|
60c0bcf8f7
|
C#: Include dup instructions in CIL ExprMissingType consistency test
|
2021-12-06 14:37:07 +01:00 |
|
Tom Hvitved
|
c39fe59a04
|
C#: Populate UnknownType
|
2021-12-06 14:09:17 +01:00 |
|
Michael Nebel
|
90baef83ee
|
C#: Add flow summaries for another TryParse method in System.Boolean.
|
2021-12-03 11:10:24 +01:00 |
|
Tom Hvitved
|
404f4a81a7
|
C#: Include CFG scope in TElementNode
|
2021-12-03 09:37:41 +01:00 |
|
Michael Nebel
|
19c34be1ea
|
Merge pull request #7297 from michaelnebel/csharp-accessor-flow
C#: Make it possible to define flow for property backing methods.
|
2021-12-02 16:24:19 +01:00 |
|
Michael Nebel
|
f6c36b469a
|
C#: Include test case for override of property.
|
2021-12-02 15:04:01 +01:00 |
|
Michael Nebel
|
8f3be9fbfd
|
C#: Update flow summaries test according to new printing format.
|
2021-12-02 11:28:06 +01:00 |
|
Michael Nebel
|
a8f673ffa4
|
C#: Add a test that only prints 'base' flow summaries.
|
2021-12-02 09:03:00 +01:00 |
|
Michael Nebel
|
9e10aee8a1
|
C#: Update the flow summaries test.
|
2021-12-01 14:34:32 +01:00 |
|
Michael Nebel
|
cc2914be3c
|
C#: Include NewtonSoft.Json stubs into the flow summaries test.
|
2021-12-01 14:34:04 +01:00 |
|
Michael Nebel
|
a5b6889478
|
C# Update flow summaries test.
|
2021-11-30 15:32:19 +01:00 |
|
Michael Nebel
|
7d6664f14d
|
C#: Use NuGet package generated stubs for dependencies for flow summaries test
|
2021-11-30 15:32:18 +01:00 |
|
Tom Hvitved
|
755085e9fe
|
C#: Introduce ParameterPosition and ArgumentPosition
|
2021-11-30 15:20:20 +01:00 |
|
Michael Nebel
|
e1539889ef
|
C#: Update flow summaries tests
|
2021-11-29 11:35:02 +01:00 |
|
Tom Hvitved
|
fdc94365b4
|
Merge pull request #7178 from michaelnebel/csharp-flowsummary-pp-csv
C#: Initial implementation of csv printing in FlowSummaries test
|
2021-11-29 09:59:33 +01:00 |
|
Erik Krogh Kristensen
|
6ff8d4de5c
|
add all remaining explicit this
|
2021-11-26 13:50:10 +01:00 |
|
Tom Hvitved
|
1d1780b30f
|
C#: Fix bug in getEnclosingCallable
|
2021-11-24 14:24:01 +01:00 |
|
Tom Hvitved
|
f85fa87f69
|
C#: Add test that illustrates problem with getEnclosingCallable
|
2021-11-24 13:59:29 +01:00 |
|
Michael Nebel
|
e153a65216
|
C#: Update flow summaries test for EntityFramework to print results in CSV syntax
|
2021-11-24 12:09:20 +01:00 |
|
Michael Nebel
|
914d3d86af
|
C#: Update flow summaries test to print results in CSV syntax
|
2021-11-24 12:09:20 +01:00 |
|
Michael Nebel
|
e607c51292
|
C#: Initial implementation of csv printing in FlowSummaries test
|
2021-11-24 12:09:20 +01:00 |
|
Tom Hvitved
|
fd0e318eb1
|
C#: Document inconsistency in one test
|
2021-11-19 09:43:51 +01:00 |
|
Tom Hvitved
|
2f7250a0b3
|
Merge pull request #7160 from hvitved/csharp/cfg/static-scope
C#: Extend `(Annotated)ExitNode` to also cover static fields
|
2021-11-18 19:15:06 +01:00 |
|
Tom Hvitved
|
a89be2e3f8
|
C#: Extend (Annotated)ExitNode to also cover static fields
|
2021-11-17 20:50:38 +01:00 |
|
Tom Hvitved
|
3da73b9001
|
C#: Update expected test output
|
2021-11-17 10:49:49 +01:00 |
|
Anders Schack-Mulligen
|
c70d384d28
|
Merge pull request #7045 from aschackmull/dataflow/hidden-ret-subpaths
Data flow: Support hidden return nodes in subpaths predicate
|
2021-11-16 15:04:51 +01:00 |
|
Tom Hvitved
|
67ebebbaeb
|
C#: Add consistency queries
|
2021-11-12 13:10:46 +01:00 |
|
Michael Nebel
|
9ea320c53c
|
Update all PrintAst.qlref to point to new location of PrintAst.ql
|
2021-11-11 15:19:15 +01:00 |
|