Merge pull request #1322 from aschackmull/java/deprecate-remoteuserinput

Java: Deprecate RemoteUserInput
This commit is contained in:
yh-semmle
2019-05-20 12:56:51 -04:00
committed by GitHub

View File

@@ -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 }
/**