diff --git a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointTypes.qll b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointTypes.qll index be61008d8a8..be4581791f9 100644 --- a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointTypes.qll +++ b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointTypes.qll @@ -64,7 +64,7 @@ class TaintedPathSinkType extends EndpointType, TTaintedPathSinkType { /** The `RequestForgerySinkType` class that can be predicted by endpoint scoring models. */ class RequestForgerySinkType extends EndpointType, TRequestForgerySinkType { - override string getDescription() { result = "request forgery sink" } + override string getDescription() { result = "server-side request forgery sink" } override int getEncoding() { result = 5 } } diff --git a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/TaintedPathATM.qll b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/TaintedPathATM.qll index 8074aaa3403..537c7f99af0 100644 --- a/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/TaintedPathATM.qll +++ b/java/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/TaintedPathATM.qll @@ -33,7 +33,7 @@ class TaintedPathAtmConfig extends AtmConfig { override predicate isAdditionalTaintStep(DataFlow::Node n1, DataFlow::Node n2) { any(TaintedPathAdditionalTaintStep s).step(n1, n2) } - } +} /* * Models a very basic guard for the tainted path queries. @@ -57,7 +57,7 @@ private class DefaultTaintedPathAdditionalTaintStep extends TaintedPathAdditiona a = any(TaintPreservingUriCtorParam tpp).getAnArgument() ) } - } +} private class TaintPreservingUriCtorParam extends Parameter { TaintPreservingUriCtorParam() {