Formatting fixes

This commit is contained in:
Ed Minnix
2023-04-12 20:22:31 -04:00
parent 13ec7db1ea
commit 0c380cdd72
2 changed files with 4 additions and 5 deletions

View File

@@ -13,13 +13,12 @@ class ShouldBeSunk extends StringLiteral {
}
module Config implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node n) {
predicate isSource(DataFlow::Node n) {
n.asExpr() instanceof ShouldBeSunk or
n.asExpr() instanceof ShouldNotBeSunk
}
predicate isSink(DataFlow::Node n) {
predicate isSink(DataFlow::Node n) {
n.asExpr().(Argument).getCall().getCallee().getName() = "sink"
}
}

View File

@@ -2,11 +2,11 @@ import java
import semmle.code.java.dataflow.DataFlow
module Config implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node n) {
predicate isSource(DataFlow::Node n) {
n.asExpr().(CompileTimeConstantExpr).getEnclosingCallable().fromSource()
}
predicate isSink(DataFlow::Node n) {
predicate isSink(DataFlow::Node n) {
n.asExpr() = any(MethodAccess ma | ma.getMethod().getName() = "sink").getAnArgument()
}
}