Documentation for ConditionalBypassQuery

egregius313 · egregius313 · commit 1016b7323f5c · 2023-03-29T22:33:10.000-04:00
diff --git a/java/ql/lib/semmle/code/java/security/ConditionalBypassQuery.qll b/java/ql/lib/semmle/code/java/security/ConditionalBypassQuery.qll
@@ -53,6 +53,9 @@ deprecated class ConditionalBypassFlowConfig extends TaintTracking::Configuratio
   }
 }
 
+/**
+ * A taint tracking configuration for untrusted data flowing to sensitive conditions.
+ */
 module ConditionalBypassFlowConfig implements DataFlow::ConfigSig {
   predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
 
@@ -64,6 +67,6 @@ module ConditionalBypassFlowConfig implements DataFlow::ConfigSig {
 }
 
 /**
- * A taint tracking configuration for untrusted data flowing to sensitive conditions.
+ * Taint tracking flow for untrusted data flowing to sensitive conditions.
  */
 module ConditionalBypassFlow = TaintTracking::Global<ConditionalBypassFlowConfig>;

Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,9 @@ deprecated class ConditionalBypassFlowConfig extends TaintTracking::Configuratio`
`53`	`53`	`}`
`54`	`54`	`}`
`55`	`55`
	`56`	`+/**`
	`57`	`+ * A taint tracking configuration for untrusted data flowing to sensitive conditions.`
	`58`	`+ */`
`56`	`59`	`module ConditionalBypassFlowConfig implements DataFlow::ConfigSig {`
`57`	`60`	`predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }`
`58`	`61`
`@@ -64,6 +67,6 @@ module ConditionalBypassFlowConfig implements DataFlow::ConfigSig {`
`64`	`67`	`}`
`65`	`68`
`66`	`69`	`/**`
`67`		`- * A taint tracking configuration for untrusted data flowing to sensitive conditions.`
	`70`	`+ * Taint tracking flow for untrusted data flowing to sensitive conditions.`
`68`	`71`	`*/`
`69`	`72`	`module ConditionalBypassFlow = TaintTracking::Global<ConditionalBypassFlowConfig>;`