From b71acd2ff93298a696a16216468c6eeb78c6326a Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Tue, 14 May 2019 12:33:36 +0200 Subject: [PATCH] Java: Deprecate RemoteUserInput --- java/ql/src/semmle/code/java/dataflow/FlowSources.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/src/semmle/code/java/dataflow/FlowSources.qll b/java/ql/src/semmle/code/java/dataflow/FlowSources.qll index 9aa5ea5c296..9059e9b01cc 100644 --- a/java/ql/src/semmle/code/java/dataflow/FlowSources.qll +++ b/java/ql/src/semmle/code/java/dataflow/FlowSources.qll @@ -148,7 +148,7 @@ abstract class UserInput extends DataFlow::Node { } * * Input that may be controlled by a remote user. */ -class RemoteUserInput extends UserInput { +deprecated class RemoteUserInput extends UserInput { RemoteUserInput() { this instanceof RemoteFlowSource } /**