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

JavaScript: Restrict edges to only contain nodes.

Browse Source
This commit is contained in:
Max Schaefer
2019-10-18 16:42:26 +01:00
parent 6e6dab9ab8
commit 6964945c74
17 changed files with 1 additions and 1985 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1062,5 +1062,5 @@ module PathGraph {
}
/** 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 }
query predicate edges(PathNode pred, PathNode succ) { pred.getASuccessor() = succ and nodes(pred) and nodes(succ) }
}