Java: prototype overlay data flow #17436
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -0,0 +1,805 @@ | |||
| private import codeql.dataflow.DataFlow as DF | |||
| private import codeql.dataflow.TaintTracking as TT | |||
Check warning
Code scanning / CodeQL
Names only differing by case Warning
| base import semmle.code.java.dataflow.internal.DataFlowPrivate | ||
| base import semmle.code.java.dataflow.internal.DataFlowUtil | ||
| base import semmle.code.java.dataflow.internal.DataFlowDispatch | ||
| import Public |
Check warning
Code scanning / CodeQL
Redundant import Warning
| base import semmle.code.java.dataflow.internal.DataFlowUtil | ||
| base import semmle.code.java.dataflow.internal.DataFlowDispatch | ||
| import Public | ||
| import Private |
Check warning
Code scanning / CodeQL
Redundant import Warning
| overlay import semmle.code.java.dataflow.internal.DataFlowPrivate | ||
| overlay import semmle.code.java.dataflow.internal.DataFlowUtil | ||
| overlay import semmle.code.java.dataflow.internal.DataFlowDispatch | ||
| import Public |
Check warning
Code scanning / CodeQL
Redundant import Warning
| overlay import semmle.code.java.dataflow.internal.DataFlowUtil | ||
| overlay import semmle.code.java.dataflow.internal.DataFlowDispatch | ||
| import Public | ||
| import Private |
Check warning
Code scanning / CodeQL
Redundant import Warning
| from LogInjectionFlow::PathNode source, LogInjectionFlow::PathNode sink | ||
| where LogInjectionFlow::flowPath(source, sink) | ||
| select sink.getNode(), source, sink, "This log entry depends on a $@.", source.getNode(), | ||
| "user-provided value" |
Check warning
Code scanning / CodeQL
Consistent alert message Warning
No description provided.