|
1 | 1 | { |
2 | 2 | "DataFlow Java/C++/C#/Python": [ |
3 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll", |
4 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll", |
5 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll", |
6 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll", |
7 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll", |
8 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl6.qll", |
9 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll", |
| 3 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll", |
| 4 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll", |
| 5 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll", |
| 6 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll", |
| 7 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll", |
| 8 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll", |
| 9 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll", |
10 | 10 | "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll", |
11 | 11 | "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll", |
12 | 12 | "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll", |
|
16 | 16 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll", |
17 | 17 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll", |
18 | 18 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll", |
19 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll", |
20 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll", |
21 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll", |
22 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll", |
23 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll", |
| 19 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll", |
| 20 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll", |
| 21 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll", |
| 22 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll", |
| 23 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll", |
24 | 24 | "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl.qll", |
25 | 25 | "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl2.qll", |
26 | 26 | "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl3.qll", |
27 | 27 | "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImpl4.qll" |
28 | 28 | ], |
29 | 29 | "DataFlow Java/C++/C#/Python Common": [ |
30 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll", |
| 30 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll", |
31 | 31 | "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll", |
32 | 32 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll", |
33 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll", |
| 33 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll", |
34 | 34 | "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll" |
35 | 35 | ], |
36 | 36 | "TaintTracking::Configuration Java/C++/C#/Python": [ |
|
39 | 39 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", |
40 | 40 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", |
41 | 41 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/tainttracking3/TaintTrackingImpl.qll", |
42 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", |
43 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", |
44 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking3/TaintTrackingImpl.qll", |
45 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking4/TaintTrackingImpl.qll", |
46 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/tainttracking5/TaintTrackingImpl.qll", |
47 | | - "java/ql/src/semmle/code/java/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", |
48 | | - "java/ql/src/semmle/code/java/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", |
| 42 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", |
| 43 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", |
| 44 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking3/TaintTrackingImpl.qll", |
| 45 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking4/TaintTrackingImpl.qll", |
| 46 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking5/TaintTrackingImpl.qll", |
| 47 | + "java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1/TaintTrackingImpl.qll", |
| 48 | + "java/ql/lib/semmle/code/java/dataflow/internal/tainttracking2/TaintTrackingImpl.qll", |
49 | 49 | "python/ql/src/semmle/python/dataflow/new/internal/tainttracking1/TaintTrackingImpl.qll", |
50 | 50 | "python/ql/src/semmle/python/dataflow/new/internal/tainttracking2/TaintTrackingImpl.qll", |
51 | 51 | "python/ql/src/semmle/python/dataflow/new/internal/tainttracking3/TaintTrackingImpl.qll", |
52 | 52 | "python/ql/src/semmle/python/dataflow/new/internal/tainttracking4/TaintTrackingImpl.qll" |
53 | 53 | ], |
54 | 54 | "DataFlow Java/C++/C#/Python Consistency checks": [ |
55 | | - "java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplConsistency.qll", |
| 55 | + "java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplConsistency.qll", |
56 | 56 | "cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplConsistency.qll", |
57 | 57 | "cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplConsistency.qll", |
58 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll", |
| 58 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplConsistency.qll", |
59 | 59 | "python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplConsistency.qll" |
60 | 60 | ], |
61 | 61 | "DataFlow Java/C# Flow Summaries": [ |
62 | | - "java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll", |
63 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll" |
| 62 | + "java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll", |
| 63 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll" |
64 | 64 | ], |
65 | 65 | "SsaReadPosition Java/C#": [ |
66 | | - "java/ql/src/semmle/code/java/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll", |
67 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll" |
| 66 | + "java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll", |
| 67 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SsaReadPositionCommon.qll" |
68 | 68 | ], |
69 | 69 | "Sign Java/C#": [ |
70 | | - "java/ql/src/semmle/code/java/dataflow/internal/rangeanalysis/Sign.qll", |
71 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/rangeanalysis/Sign.qll" |
| 70 | + "java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/Sign.qll", |
| 71 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/Sign.qll" |
72 | 72 | ], |
73 | 73 | "SignAnalysis Java/C#": [ |
74 | | - "java/ql/src/semmle/code/java/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll", |
75 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll" |
| 74 | + "java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll", |
| 75 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll" |
76 | 76 | ], |
77 | 77 | "Bound Java/C#": [ |
78 | | - "java/ql/src/semmle/code/java/dataflow/Bound.qll", |
79 | | - "csharp/ql/src/semmle/code/csharp/dataflow/Bound.qll" |
| 78 | + "java/ql/lib/semmle/code/java/dataflow/Bound.qll", |
| 79 | + "csharp/ql/lib/semmle/code/csharp/dataflow/Bound.qll" |
80 | 80 | ], |
81 | 81 | "ModulusAnalysis Java/C#": [ |
82 | | - "java/ql/src/semmle/code/java/dataflow/ModulusAnalysis.qll", |
83 | | - "csharp/ql/src/semmle/code/csharp/dataflow/ModulusAnalysis.qll" |
| 82 | + "java/ql/lib/semmle/code/java/dataflow/ModulusAnalysis.qll", |
| 83 | + "csharp/ql/lib/semmle/code/csharp/dataflow/ModulusAnalysis.qll" |
84 | 84 | ], |
85 | 85 | "C++ SubBasicBlocks": [ |
86 | 86 | "cpp/ql/lib/semmle/code/cpp/controlflow/SubBasicBlocks.qll", |
|
362 | 362 | "csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll" |
363 | 363 | ], |
364 | 364 | "C# ControlFlowReachability": [ |
365 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/ControlFlowReachability.qll", |
366 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/rangeanalysis/ControlFlowReachability.qll" |
| 365 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/ControlFlowReachability.qll", |
| 366 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/rangeanalysis/ControlFlowReachability.qll" |
367 | 367 | ], |
368 | 368 | "Inline Test Expectations": [ |
369 | 369 | "cpp/ql/test/TestUtilities/InlineExpectationsTest.qll", |
|
380 | 380 | ], |
381 | 381 | "XML": [ |
382 | 382 | "cpp/ql/lib/semmle/code/cpp/XML.qll", |
383 | | - "csharp/ql/src/semmle/code/csharp/XML.qll", |
384 | | - "java/ql/src/semmle/code/xml/XML.qll", |
| 383 | + "csharp/ql/lib/semmle/code/csharp/XML.qll", |
| 384 | + "java/ql/lib/semmle/code/xml/XML.qll", |
385 | 385 | "javascript/ql/src/semmle/javascript/XML.qll", |
386 | 386 | "python/ql/src/semmle/python/xml/XML.qll" |
387 | 387 | ], |
|
437 | 437 | "python/ql/src/analysis/IDEContextual.qll" |
438 | 438 | ], |
439 | 439 | "SSA C#": [ |
440 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/SsaImplCommon.qll", |
441 | | - "csharp/ql/src/semmle/code/csharp/controlflow/internal/pressa/SsaImplCommon.qll", |
442 | | - "csharp/ql/src/semmle/code/csharp/dataflow/internal/basessa/SsaImplCommon.qll", |
443 | | - "csharp/ql/src/semmle/code/cil/internal/SsaImplCommon.qll" |
| 440 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImplCommon.qll", |
| 441 | + "csharp/ql/lib/semmle/code/csharp/controlflow/internal/pressa/SsaImplCommon.qll", |
| 442 | + "csharp/ql/lib/semmle/code/csharp/dataflow/internal/basessa/SsaImplCommon.qll", |
| 443 | + "csharp/ql/lib/semmle/code/cil/internal/SsaImplCommon.qll" |
444 | 444 | ], |
445 | 445 | "CryptoAlgorithms Python/JS": [ |
446 | 446 | "javascript/ql/src/semmle/javascript/security/CryptoAlgorithms.qll", |
|
0 commit comments