Tom Hvitved c5c80204d5 C#: Rework flow summary implementation

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

..

Capture.cs

C#: Fix potential bug in CaptureOutNode.

2019-09-18 11:48:29 +01:00

Common.qll

C#: Add inter-procedural data-flow test for StringBuilder

2020-10-14 14:15:34 +02:00

DataFlow.expected

C#: Fix missing delegate flow

2021-03-16 13:16:23 +01:00

DataFlow.ql

C#: Add data flow test with CFG splitting

2019-01-16 10:29:26 +01:00

DataFlowPath.expected

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

2021-03-23 16:42:58 +01:00

DataFlowPath.ql

C#: Add data flow test with CFG splitting

2019-01-16 10:29:26 +01:00

GetAnOutNode.expected

C#: Rework flow summary implementation

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

GetAnOutNode.ql

C#: Reimplement flow-summary compilation

2020-10-14 14:15:34 +02:00

GlobalDataFlow.cs

C#: Add test exposing missing delegate flow

2021-03-16 13:16:23 +01:00

Splitting.cs

C#: Represent all expressions in post-order in the CFG

2020-11-12 20:04:48 +01:00

TaintTracking.expected

C#: Fix missing delegate flow

2021-03-16 13:16:23 +01:00

TaintTracking.ql

C#: Add data flow test with CFG splitting

2019-01-16 10:29:26 +01:00

TaintTrackingPath.expected

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

2021-03-23 16:42:58 +01:00

TaintTrackingPath.ql

C#: Add data flow test with CFG splitting

2019-01-16 10:29:26 +01:00

This.cs

C#: Data flow through this parameter

2019-05-20 13:42:32 +02:00