JS: Add test for default flow labels

This commit is contained in:
Asger Feldthaus
2020-10-16 07:16:02 +01:00
parent 583f3d7fd9
commit 287ec0cbbb
3 changed files with 10 additions and 0 deletions

View File

@@ -0,0 +1,2 @@
| data |
| taint |

View File

@@ -0,0 +1,6 @@
import javascript
// Check which flow labels are materialize by importing `javascript.qll`.
// If this increases, it may indicate a performance issue.
select any(DataFlow::FlowLabel label)

View File

@@ -0,0 +1,2 @@
// The contents of this file don't matter.
let x = 1;