Data flow: Add consistency queries

This commit is contained in:
Tom Hvitved
2021-06-17 10:26:56 +02:00
parent ad54f2e1f4
commit 00e544189e
3 changed files with 186 additions and 0 deletions

View File

@@ -11,6 +11,10 @@
"codeql/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll",
"ql/src/codeql_ruby/dataflow/internal/DataFlowImpl.qll"
],
"DataFlow Consistency": [
"codeql/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll",
"ql/src/codeql_ruby/dataflow/internal/DataFlowImplConsistency.qll"
],
"TaintTracking": [
"codeql/csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll",
"ql/src/codeql_ruby/dataflow/internal/tainttracking1/TaintTrackingImpl.qll"