update sink names

This commit is contained in:
Jami Cogswell
2022-11-01 11:07:28 -04:00
parent 5b089bbb9c
commit 81ad10bab5
2 changed files with 4 additions and 4 deletions

View File

@@ -6,13 +6,13 @@ private import semmle.code.java.frameworks.Regex
private import semmle.code.java.frameworks.apache.Lang
/** A data flow sink for untrusted user input used to construct regular expressions. */
abstract class Sink extends DataFlow::ExprNode { }
abstract class RegexInjectionSink extends DataFlow::ExprNode { }
/** A sanitizer for untrusted user input used to construct regular expressions. */
abstract class RegexInjectionSanitizer extends DataFlow::ExprNode { }
private class RegexInjectionSink extends Sink {
RegexInjectionSink() {
private class DefaultRegexInjectionSink extends RegexInjectionSink {
DefaultRegexInjectionSink() {
exists(MethodAccess ma, Method m | m = ma.getMethod() |
ma.getArgument(0) = this.asExpr() and
(

View File

@@ -11,7 +11,7 @@ class RegexInjectionConfiguration extends TaintTracking::Configuration {
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
override predicate isSink(DataFlow::Node sink) { sink instanceof Sink }
override predicate isSink(DataFlow::Node sink) { sink instanceof RegexInjectionSink }
override predicate isSanitizer(DataFlow::Node node) { node instanceof RegexInjectionSanitizer }
}