Skip to content

Commit

Permalink
Java: Deprecate the content of ExecTaintedLocalQuery as this is unused.
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelnebel committed May 1, 2024
1 parent d9c7401 commit 58bbfe6
Showing 1 changed file with 4 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ private import semmle.code.java.security.CommandArguments
private import semmle.code.java.security.Sanitizers

/** A taint-tracking configuration to reason about use of externally controlled strings to make command line commands. */
module ExecTaintedLocalConfig implements DataFlow::ConfigSig {
deprecated module ExecTaintedLocalConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node src) { src instanceof LocalUserInput }

predicate isSink(DataFlow::Node sink) { sink.asExpr() instanceof ArgumentToExec }
Expand All @@ -20,6 +20,8 @@ module ExecTaintedLocalConfig implements DataFlow::ConfigSig {
}

/**
* DEPRCATED: Unused.
*
* Taint-tracking flow for use of externally controlled strings to make command line commands.
*/
module ExecTaintedLocalFlow = TaintTracking::Global<ExecTaintedLocalConfig>;
deprecated module ExecTaintedLocalFlow = TaintTracking::Global<ExecTaintedLocalConfig>;

0 comments on commit 58bbfe6

Please sign in to comment.