|
| 1 | +extensions: |
| 2 | + # Model(s) for Kotlin - dataflow/notnullexpr and dataflow/whenexpr test cases. |
| 3 | + - addsTo: |
| 4 | + pack: codeql/java-tests |
| 5 | + extensible: extSummaryModel |
| 6 | + data: |
| 7 | + - ["", "Uri", False, "getQueryParameter", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"] |
| 8 | + |
| 9 | + # Model(s) for Java - dataflow/callback-dispatch test case. |
| 10 | + - addsTo: |
| 11 | + pack: codeql/java-tests |
| 12 | + extensible: extSummaryModel |
| 13 | + data: |
| 14 | + - ["my.callback.qltest", "A", False, "applyConsumer1", "(Object,Consumer1)", "", "Argument[0]", "Argument[1].Parameter[0]", "value", "manual"] |
| 15 | + - ["my.callback.qltest", "A", False, "applyConsumer1Field1Field2", "(A,A,Consumer1)", "", "Argument[0].Field[my.callback.qltest.A.field1]", "Argument[2].Parameter[0]", "value", "manual"] |
| 16 | + - ["my.callback.qltest", "A", False, "applyConsumer1Field1Field2", "(A,A,Consumer1)", "", "Argument[1].Field[my.callback.qltest.A.field2]", "Argument[2].Parameter[0]", "value", "manual"] |
| 17 | + - ["my.callback.qltest", "A", False, "applyConsumer2", "(Object,Consumer2)", "", "Argument[0]", "Argument[1].Parameter[0]", "value", "manual"] |
| 18 | + - ["my.callback.qltest", "A", False, "applyConsumer3", "(Object,Consumer3)", "", "Argument[0]", "Argument[1].Parameter[0]", "value", "manual"] |
| 19 | + - ["my.callback.qltest", "A", False, "applyConsumer3_ret_postup", "(Consumer3)", "", "Argument[0].Parameter[0]", "ReturnValue", "value", "manual"] |
| 20 | + - ["my.callback.qltest", "A", False, "forEach", "(Object[],Consumer3)", "", "Argument[0].ArrayElement", "Argument[1].Parameter[0]", "value", "manual"] |
| 21 | + - ["my.callback.qltest", "A", False, "applyProducer1", "(Producer1)", "", "Argument[0].ReturnValue", "ReturnValue", "value", "manual"] |
| 22 | + - ["my.callback.qltest", "A", False, "produceConsume", "(Producer1,Consumer3)", "", "Argument[0].ReturnValue", "Argument[1].Parameter[0]", "value", "manual"] |
| 23 | + - ["my.callback.qltest", "A", False, "produceConsume", "(Producer1,Consumer3)", "", "Argument[1].Parameter[0]", "ReturnValue", "value", "manual"] |
| 24 | + - ["my.callback.qltest", "A", False, "applyConverter1", "(Object,Converter1)", "", "Argument[0]", "Argument[1].Parameter[0]", "value", "manual"] |
| 25 | + - ["my.callback.qltest", "A", False, "applyConverter1", "(Object,Converter1)", "", "Argument[1].ReturnValue", "ReturnValue", "value", "manual"] |
| 26 | + |
| 27 | + # Model(s) for Java - dataflow/collections test case. |
| 28 | + - addsTo: |
| 29 | + pack: codeql/java-tests |
| 30 | + extensible: extSummaryModel |
| 31 | + data: |
| 32 | + - ["", "B", False, "readElement", "(Spliterator)", "", "Argument[0].Element", "ReturnValue", "value", "manual"] |
| 33 | + - ["", "B", False, "readElement", "(Stream)", "", "Argument[0].Element", "ReturnValue", "value", "manual"] |
| 34 | + |
| 35 | + # Model(s) for Java - dataflow/external-models test cases. |
| 36 | + - addsTo: |
| 37 | + pack: codeql/java-tests |
| 38 | + extensible: extSourceModel |
| 39 | + data: |
| 40 | + - ["my.qltest", "A", False, "src1", "()", "", "ReturnValue", "qltest", "manual"] |
| 41 | + - ["my.qltest", "A", False, "src1", "(String)", "", "ReturnValue", "qltest", "manual"] |
| 42 | + - ["my.qltest", "A", False, "src1", "(java.lang.String)", "", "ReturnValue", "qltest-alt", "manual"] |
| 43 | + - ["my.qltest", "A", False, "src1", "", "", "ReturnValue", "qltest-all-overloads", "manual"] |
| 44 | + - ["my.qltest", "A", False, "src2", "()", "", "ReturnValue", "qltest", "manual"] |
| 45 | + - ["my.qltest", "A", False, "src3", "()", "", "ReturnValue", "qltest", "manual"] |
| 46 | + - ["my.qltest", "A", True, "src2", "()", "", "ReturnValue", "qltest-w-subtypes", "manual"] |
| 47 | + - ["my.qltest", "A", True, "src3", "()", "", "ReturnValue", "qltest-w-subtypes", "manual"] |
| 48 | + - ["my.qltest", "A", False, "srcArg", "(Object)", "", "Argument[0]", "qltest-argnum", "manual"] |
| 49 | + - ["my.qltest", "A", False, "srcArg", "(Object)", "", "Argument", "qltest-argany", "manual"] |
| 50 | + - ["my.qltest", "A$Handler", True, "handle", "(Object)", "", "Parameter[0]", "qltest-param-override", "manual"] |
| 51 | + - ["my.qltest", "A$Tag", False, "", "", "Annotated", "ReturnValue", "qltest-retval", "manual"] |
| 52 | + - ["my.qltest", "A$Tag", False, "", "", "Annotated", "Parameter", "qltest-param", "manual"] |
| 53 | + - ["my.qltest", "A$Tag", False, "", "", "Annotated", "", "qltest-nospec", "manual"] |
| 54 | + - ["my.qltest", "A", False, "srcTwoArg", "(String,String)", "", "ReturnValue", "qltest-shortsig", "manual"] |
| 55 | + - ["my.qltest", "A", False, "srcTwoArg", "(java.lang.String,java.lang.String)", "", "ReturnValue", "qltest-longsig", "manual"] |
| 56 | + - addsTo: |
| 57 | + pack: codeql/java-tests |
| 58 | + extensible: extSinkModel |
| 59 | + data: |
| 60 | + - ["my.qltest", "B", False, "sink1", "(Object)", "", "Argument[0]", "qltest", "manual"] |
| 61 | + - ["my.qltest", "B", False, "sinkMethod", "()", "", "ReturnValue", "qltest", "manual"] |
| 62 | + - ["my.qltest", "B$Tag", False, "", "", "Annotated", "ReturnValue", "qltest-retval", "manual"] |
| 63 | + - ["my.qltest", "B$Tag", False, "", "", "Annotated", "Argument", "qltest-arg", "manual"] |
| 64 | + - ["my.qltest", "B$Tag", False, "", "", "Annotated", "", "qltest-nospec", "manual"] |
| 65 | + - addsTo: |
| 66 | + pack: codeql/java-tests |
| 67 | + extensible: extSummaryModel |
| 68 | + data: |
| 69 | + - ["my.qltest", "C", False, "stepArgRes", "(Object)", "", "Argument[0]", "ReturnValue", "taint", "manual"] |
| 70 | + - ["my.qltest", "C", False, "stepArgArg", "(Object,Object)", "", "Argument[0]", "Argument[1]", "taint", "manual"] |
| 71 | + - ["my.qltest", "C", False, "stepArgQual", "(Object)", "", "Argument[0]", "Argument[-1]", "taint", "manual"] |
| 72 | + - ["my.qltest", "C", False, "stepQualRes", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"] |
| 73 | + - ["my.qltest", "C", False, "stepQualArg", "(Object)", "", "Argument[-1]", "Argument[0]", "taint", "manual"] |
| 74 | + - ["my.qltest", "C", False, "stepArgResGenerated", "(Object)", "", "Argument[0]", "ReturnValue", "taint", "generated"] |
| 75 | + - ["my.qltest", "C", False, "stepArgResGeneratedIgnored", "(Object,Object)", "", "Argument[0]", "ReturnValue", "taint", "generated"] |
| 76 | + - ["my.qltest", "C", False, "stepArgResGeneratedIgnored", "(Object,Object)", "", "Argument[1]", "ReturnValue", "taint", "manual"] |
| 77 | + |
| 78 | + # Model(s) for Java - dataflow/synth-global test case. |
| 79 | + - addsTo: |
| 80 | + pack: codeql/java-tests |
| 81 | + extensible: extSummaryModel |
| 82 | + data: |
| 83 | + - ["my.qltest.synth", "A", False, "storeInArray", "(String)", "", "Argument[0]", "SyntheticGlobal[db1].ArrayElement", "value", "manual"] |
| 84 | + - ["my.qltest.synth", "A", False, "storeTaintInArray", "(String)", "", "Argument[0]", "SyntheticGlobal[db1].ArrayElement", "taint", "manual"] |
| 85 | + - ["my.qltest.synth", "A", False, "storeValue", "(String)", "", "Argument[0]", "SyntheticGlobal[db1]", "value", "manual"] |
| 86 | + - ["my.qltest.synth", "A", False, "readValue", "()", "", "SyntheticGlobal[db1]", "ReturnValue", "value", "manual"] |
| 87 | + - ["my.qltest.synth", "A", False, "readArray", "()", "", "SyntheticGlobal[db1].ArrayElement", "ReturnValue", "value", "manual"] |
| 88 | + |
| 89 | + # Model(s) for Java - frameworks/android/content-provider-summaries test case. |
| 90 | + - addsTo: |
| 91 | + pack: codeql/java-tests |
| 92 | + extensible: extSummaryModel |
| 93 | + data: |
| 94 | + - ["generatedtest", "Test", False, "newWithMapValueDefault", "(Object)", "", "Argument[0]", "ReturnValue.MapValue", "value", "manual"] |
| 95 | + - ["generatedtest", "Test", False, "newWithMapKeyDefault", "(Object)", "", "Argument[0]", "ReturnValue.MapKey", "value", "manual"] |
| 96 | + - ["generatedtest", "Test", False, "getMapValueDefault", "(Object)", "", "Argument[0].MapValue", "ReturnValue", "value", "manual"] |
| 97 | + - ["generatedtest", "Test", False, "getMapKeyDefault", "(Object)", "", "Argument[0].MapKey", "ReturnValue", "value", "manual"] |
| 98 | + |
| 99 | + # Model(s) for Java - frameworks/android/intent test case. |
| 100 | + - addsTo: |
| 101 | + pack: codeql/java-tests |
| 102 | + extensible: extSummaryModel |
| 103 | + data: |
| 104 | + - ["generatedtest", "Test", False, "newBundleWithMapValue", "(Object)", "", "Argument[0]", "ReturnValue.MapValue", "value", "manual"] |
| 105 | + - ["generatedtest", "Test", False, "newPersistableBundleWithMapValue", "(Object)", "", "Argument[0]", "ReturnValue.MapValue", "value", "manual"] |
| 106 | + - ["generatedtest", "Test", False, "getMapValue", "(BaseBundle)", "", "Argument[0].MapValue", "ReturnValue", "value", "manual"] |
| 107 | + - ["generatedtest", "Test", False, "newWithIntent_extras", "(Bundle)", "", "Argument[0]", "ReturnValue.SyntheticField[android.content.Intent.extras]", "value", "manual"] |
| 108 | + |
| 109 | + # Model(s) for Java - frameworks/android/notification test case. |
| 110 | + - addsTo: |
| 111 | + pack: codeql/java-tests |
| 112 | + extensible: extSummaryModel |
| 113 | + data: |
| 114 | + - ["generatedtest", "Test", False, "getMapKeyDefault", "(Bundle)", "", "Argument[0].MapKey", "ReturnValue", "value", "manual"] |
| 115 | + |
| 116 | + # Model(s) for Java - frameworks/apache-collections test case. |
| 117 | + - addsTo: |
| 118 | + pack: codeql/java-tests |
| 119 | + extensible: extSummaryModel |
| 120 | + data: |
| 121 | + - ["generatedtest", "Test", False, "newRBWithMapValue", "", "", "Argument[0]", "ReturnValue.MapValue", "value", "manual"] |
| 122 | + - ["generatedtest", "Test", False, "newRBWithMapKey", "", "", "Argument[0]", "ReturnValue.MapKey", "value", "manual"] |
| 123 | + |
| 124 | + # Model(s) for Java - frameworks/guave/generated/collect test case. |
| 125 | + - addsTo: |
| 126 | + pack: codeql/java-tests |
| 127 | + extensible: extSummaryModel |
| 128 | + data: |
| 129 | + - ["generatedtest", "Test", False, "newWithElementDefault", "(Object)", "", "Argument[0]", "ReturnValue.Element", "value", "manual"] |
| 130 | + - ["generatedtest", "Test", False, "newWithMapKeyDefault", "(Object)", "", "Argument[0]", "ReturnValue.MapKey", "value", "manual"] |
| 131 | + - ["generatedtest", "Test", False, "newWithMapValueDefault", "(Object)", "", "Argument[0]", "ReturnValue.MapValue", "value", "manual"] |
| 132 | + |
| 133 | + # Model(s) for Java - frameworks/stream test case. |
| 134 | + - addsTo: |
| 135 | + pack: codeql/java-tests |
| 136 | + extensible: extSummaryModel |
| 137 | + data: |
| 138 | + - ["generatedtest", "Test", False, "getElementSpliterator", "(Spliterator)", "", "Argument[0].Element", "ReturnValue", "value", "manual"] |
| 139 | + |
| 140 | + # Model(s) for Java - frameworks/stream test case. |
| 141 | + - addsTo: |
| 142 | + pack: codeql/java-tests |
| 143 | + extensible: extSummaryModel |
| 144 | + data: |
| 145 | + - ["generatedtest", "Test", False, "getStreamElement", "", "", "Argument[0].Element", "ReturnValue", "value", "manual"] |
0 commit comments