hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 21:25:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Add explicit nodes query predicate in PathGraph.

Browse Source 
This is needed to correctly handle the case where `edges` is empty.
This commit is contained in:
Max Schaefer
2018-11-12 14:43:31 +00:00
parent 60a1357092
commit 4860364d91
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
javascript/ql/src/semmle/javascript/dataflow/Configuration.qll
View File

@@ -827,9 +827,14 @@ class SinkPathNode extends PathNode {
}
/**
* Provides the query predicate needed to include a graph in a path-problem query.
* Provides the query predicates needed to include a graph in a path-problem query.
*/
module PathGraph {
/** Holds if `nd` is a node in the graph of data flow path explanations. */
query predicate nodes(PathNode nd) {
any()
}
/** Holds if `pred` → `succ` is an edge in the graph of data flow path explanations. */
query predicate edges(PathNode pred, PathNode succ) {
pred.getASuccessor() = succ