mirror of
https://github.com/github/codeql.git
synced 2026-01-07 11:40:27 +01:00
20 lines
629 B
Plaintext
20 lines
629 B
Plaintext
import java
|
|
import semmle.code.java.dataflow.DataFlow
|
|
import semmle.code.java.dataflow.ExternalFlow
|
|
import TestUtilities.InlineFlowTest
|
|
|
|
class SummaryModelTest extends SummaryModelCsv {
|
|
override predicate row(string row) {
|
|
row =
|
|
[
|
|
//"package;type;overrides;name;signature;ext;inputspec;outputspec;kind",
|
|
";B;false;readElement;(Spliterator);;Argument[0].Element;ReturnValue;value;manual",
|
|
";B;false;readElement;(Stream);;Argument[0].Element;ReturnValue;value;manual"
|
|
]
|
|
}
|
|
}
|
|
|
|
class HasFlowTest extends InlineFlowTest {
|
|
override DataFlow::Configuration getTaintFlowConfig() { none() }
|
|
}
|