Anders Schack-Mulligen e877b161d8 Merge pull request #12124 from hvitved/dataflow/stage1-dispatch ...

Data flow: Call context virtual dispatch pruning in stage 1

2023-02-13 13:13:43 +01:00

..

internal

Merge pull request #12124 from hvitved/dataflow/stage1-dispatch

2023-02-13 13:13:43 +01:00

DataFlow2.qll

C++: Copy the new use-use flow code to experimental.

2022-09-09 14:20:10 +01:00

DataFlow3.qll

C++: Copy the new use-use flow code to experimental.

2022-09-09 14:20:10 +01:00

DataFlow4.qll

C++: Copy the new use-use flow code to experimental.

2022-09-09 14:20:10 +01:00

DataFlow.qll

C++: Copy the new use-use flow code to experimental.

2022-09-09 14:20:10 +01:00

ResolveCall.qll

C++: Copy the new use-use flow code to experimental.

2022-09-09 14:20:10 +01:00

TaintTracking2.qll

C++: Copy over the required changes to non-experimental libraries.

2022-09-09 17:26:58 +01:00

TaintTracking3.qll

C++: Copy over the required changes to non-experimental libraries.

2022-09-09 17:26:58 +01:00

TaintTracking.qll

C++: Copy over the required changes to non-experimental libraries.

2022-09-09 17:26:58 +01:00