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

JS: Downgrade the contract for getImmediatePredecessor

Browse Source
This commit is contained in:
Asger F
2019-07-22 12:12:40 +01:00
parent 28efadea73
commit 1c3ce09607
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll
View File

@@ -165,9 +165,15 @@ module DataFlow {
/**
* Gets the immediate predecessor of this node, if any.
*
* A node with an immediate predecessor can only ever have the value that flows
* into its from its immediate predecessor. It can be treated as an alias for
* the immediate predecessor.
* A node with an immediate predecessor can usually only have the value that flows
* into its from its immediate predecessor, currently with two exceptions:
*
* - An immediately-invoked function expression with a single return expression `e`
* has `e` as its immediate predecessor, even if the function can fall over the
* end and return `undefined`.
*
* - A destructuring property pattern with a default value has both the `PropRead`
* and its default value as immediate predecessors.
*/
cached
DataFlow::Node getImmediatePredecessor() {