Tom Hvitved 697b0ba4c1 C#: Address review comments

2020-11-10 10:42:05 +01:00

..

Dataflow.expected

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

Dataflow.ql

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

EntityFramework.cs

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

EntityFrameworkCore.cs

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

FlowSummaries.expected

C#: Address review comments

2020-11-10 10:42:05 +01:00

FlowSummaries.ql

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

MappedProperties.expected

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

MappedProperties.ql

C#: Add preservesValue to NonLocalJumpNode.getAJumpSuccessor. Allow DataFlow::Configuration::isAdditionalFlowStep to jump between callables.

2019-03-04 09:54:28 +00:00

SqlExprs.expected

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

SqlExprs.ql

C#: Add preservesValue to NonLocalJumpNode.getAJumpSuccessor. Allow DataFlow::Configuration::isAdditionalFlowStep to jump between callables.

2019-03-04 09:54:28 +00:00

StoredFlowSources.expected

C#: Precise data flow for EntityFramework(Core)

2020-11-04 19:48:03 +01:00

StoredFlowSources.ql

C#: Add preservesValue to NonLocalJumpNode.getAJumpSuccessor. Allow DataFlow::Configuration::isAdditionalFlowStep to jump between callables.

2019-03-04 09:54:28 +00:00