File tree Expand file tree Collapse file tree 1 file changed +3
-7
lines changed Expand file tree Collapse file tree 1 file changed +3
-7
lines changed Original file line number Diff line number Diff line change @@ -318,16 +318,12 @@ module HTTP {
318
318
* A data flow node that executes an operating system command,
319
319
* for instance by spawning a new process.
320
320
*/
321
- class SystemCommandExecution extends DataFlow:: Node {
322
- SystemCommandExecution:: Range range ;
323
-
324
- SystemCommandExecution ( ) { this = range }
325
-
321
+ class SystemCommandExecution extends DataFlow:: Node instanceof SystemCommandExecution:: Range {
326
322
/** Holds if a shell interprets `arg`. */
327
- predicate isShellInterpreted ( DataFlow:: Node arg ) { range .isShellInterpreted ( arg ) }
323
+ predicate isShellInterpreted ( DataFlow:: Node arg ) { super .isShellInterpreted ( arg ) }
328
324
329
325
/** Gets an argument to this execution that specifies the command or an argument to it. */
330
- DataFlow:: Node getAnArgument ( ) { result = range .getAnArgument ( ) }
326
+ DataFlow:: Node getAnArgument ( ) { result = super .getAnArgument ( ) }
331
327
}
332
328
333
329
module SystemCommandExecution {
You can’t perform that action at this time.
0 commit comments