Conversation
This interface works better when defining the DFG edges in the next commit
Adding this directly in the DataFlow module would expose it publicly via the `DataFlow::` prefix which does not seem desirable. We just want to be able to access it ourselves, so I've put it in its own file.
github-actions
bot
added
C#
JS
Java
Ruby
Rust
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| private import codeql.dataflow.PrintDfg | ||
| import MakePrintDfg<Location, JSDataFlow, JSTaintFlow> | ||
|
|
||
| external string selectedSourceFile(); |
Check warning
Code scanning / CodeQL
Dead code Warning
|
|
||
| external string selectedSourceFile(); | ||
|
|
||
| private predicate selectedSourceFileAlias = selectedSourceFile/0; |
Check warning
Code scanning / CodeQL
Dead code Warning
|
|
||
| private predicate selectedSourceFileAlias = selectedSourceFile/0; | ||
|
|
||
| external int selectedSourceLine(); |
Check warning
Code scanning / CodeQL
Dead code Warning
|
|
||
| external int selectedSourceLine(); | ||
|
|
||
| private predicate selectedSourceLineAlias = selectedSourceLine/0; |
Check warning
Code scanning / CodeQL
Dead code Warning
|
|
||
| private predicate selectedSourceLineAlias = selectedSourceLine/0; | ||
|
|
||
| external int selectedSourceColumn(); |
Check warning
Code scanning / CodeQL
Dead code Warning
|
|
||
| external int selectedSourceColumn(); | ||
|
|
||
| private predicate selectedSourceColumnAlias = selectedSourceColumn/0; |
Check warning
Code scanning / CodeQL
Dead code Warning
|
|
||
| private predicate selectedSourceColumnAlias = selectedSourceColumn/0; | ||
|
|
||
| module ViewCfgQueryInput implements ViewGraphQueryInputSig<File> { |
Check warning
Code scanning / CodeQL
Dead code Warning
| predicate selectedSourceColumn = selectedSourceColumnAlias/0; | ||
|
|
||
| predicate cfgScopeSpan( | ||
| predicate callableSpan( |
Check warning
Code scanning / CodeQL
Dead code Warning
|
|
||
| private import codeql.util.Location | ||
| 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
1 participant
Adds the queries called by github/vscode-codeql#4305