Tom Hvitved c5c80204d5 C#: Rework flow summary implementation

2021-03-24 11:27:01 +01:00

..

Dataflow.expected

C#: Change some data-flow toString()s

2021-03-23 16:42:58 +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#: Rework flow summary implementation

2021-03-24 11:27:01 +01:00

FlowSummaries.ql

C#: Rework flow summary implementation

2021-03-24 11:27:01 +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