hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

autoformat ql

Browse Source
This commit is contained in:
Chris Smowton
2023-11-02 13:57:03 +00:00
parent 32416f0fdc
commit 330a5b8c6c
6 changed files with 25 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/test/library-tests/pattern-instanceof/dfg.ql
View File

@@ -1,5 +1,4 @@
import java
import semmle.code.java.controlflow.Guards
import semmle.code.java.dataflow.DataFlow
@@ -12,9 +11,13 @@ private predicate isSafe(Guard g, Expr checked, boolean branch) {
}
module TestConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source.asExpr() = any(MethodCall mc | mc.getMethod().getName() = "source") }
predicate isSource(DataFlow::Node source) {
source.asExpr() = any(MethodCall mc | mc.getMethod().getName() = "source")
}
predicate isSink(DataFlow::Node sink) { sink.asExpr() = any(MethodCall mc | mc.getMethod().getName() = "sink").getAnArgument() }
predicate isSink(DataFlow::Node sink) {
sink.asExpr() = any(MethodCall mc | mc.getMethod().getName() = "sink").getAnArgument()
}
predicate isBarrier(DataFlow::Node node) {
node = DataFlow::BarrierGuard<isSafe/3>::getABarrierNode()
@@ -26,4 +29,3 @@ module Flow = DataFlow::Global<TestConfig>;
from DataFlow::Node source, DataFlow::Node sink
where Flow::flow(source, sink)
select source, sink

10
java/ql/test/library-tests/pattern-switch/dfg/test.ql
View File

@@ -1,5 +1,4 @@
import java
import semmle.code.java.controlflow.Guards
import semmle.code.java.dataflow.DataFlow
@@ -12,9 +11,13 @@ private predicate isSafe(Guard g, Expr checked, boolean branch) {
}
module TestConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source.asExpr() instanceof StringLiteral or source.asParameter().getCallable().hasName("test") }
predicate isSource(DataFlow::Node source) {
source.asExpr() instanceof StringLiteral or source.asParameter().getCallable().hasName("test")
}
predicate isSink(DataFlow::Node sink) { sink.asExpr() = any(MethodCall mc | mc.getMethod().getName() = "sink").getAnArgument() }
predicate isSink(DataFlow::Node sink) {
sink.asExpr() = any(MethodCall mc | mc.getMethod().getName() = "sink").getAnArgument()
}
predicate isBarrier(DataFlow::Node node) {
node = DataFlow::BarrierGuard<isSafe/3>::getABarrierNode()
@@ -26,4 +29,3 @@ module Flow = DataFlow::Global<TestConfig>;
from DataFlow::Node source, DataFlow::Node sink
where Flow::flow(source, sink)
select source, sink