Java: Deprecate RemoteUserInput

aschackmull · aschackmull · commit b71acd2ff932 · 2019-05-14T12:33:36.000+02:00
diff --git 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 }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -148,7 +148,7 @@ abstract class UserInput extends DataFlow::Node { }`
`148`	`148`	`*`
`149`	`149`	`* Input that may be controlled by a remote user.`
`150`	`150`	`*/`
`151`		`-class RemoteUserInput extends UserInput {`
	`151`	`+deprecated class RemoteUserInput extends UserInput {`
`152`	`152`	`RemoteUserInput() { this instanceof RemoteFlowSource }`
`153`	`153`
`154`	`154`	`/**`