mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
24 lines
954 B
Plaintext
24 lines
954 B
Plaintext
import java
|
|
import semmle.code.java.dataflow.DataFlow
|
|
import semmle.code.java.dataflow.ExternalFlow
|
|
import semmle.code.java.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
|
|
import CsvValidation
|
|
|
|
class SummaryModelTest extends SummaryModelCsv {
|
|
override predicate row(string row) {
|
|
row =
|
|
[
|
|
//`namespace; type; subtypes; name; signature; ext; input; output; kind`
|
|
"my.qltest;C;false;stepArgRes;(Object);;Argument[0];ReturnValue;taint",
|
|
"my.qltest;C;false;stepArgArg;(Object,Object);;Argument[0];Argument[1];taint",
|
|
"my.qltest;C;false;stepArgQual;(Object);;Argument[0];Argument[-1];taint",
|
|
"my.qltest;C;false;stepQualRes;();;Argument[-1];ReturnValue;taint",
|
|
"my.qltest;C;false;stepQualArg;(Object);;Argument[-1];Argument[0];taint"
|
|
]
|
|
}
|
|
}
|
|
|
|
from DataFlow::Node node1, DataFlow::Node node2
|
|
where FlowSummaryImpl::Private::Steps::summaryThroughStep(node1, node2, false)
|
|
select node1, node2
|