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

JS: Add test that depends on getAQlClass

Browse Source
This commit is contained in:
Asger Feldthaus
2021-01-26 15:16:27 +00:00
parent 76e1e4d668
commit c69a051292
2 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/ql/test/library-tests/DataFlow/tests.expected
View File

@@ -1573,3 +1573,5 @@ sources
| tst.js:117:10:117:20 | Object.seal |
| tst.js:117:10:117:24 | Object.seal(x1) |
| tst.js:117:22:117:23 | x1 |
stress_getAQlClass
| OK |

7
javascript/ql/test/library-tests/DataFlow/tests.ql
View File

@@ -28,3 +28,10 @@ query predicate noBasicBlock(DataFlow::Node node) { not exists(node.getBasicBloc
query predicate parameters(DataFlow::ParameterNode param) { any() }
query predicate sources(DataFlow::SourceNode src) { any() }
query predicate stress_getAQlClass(string msg) {
// Compile and evaluate `getAQlClass` so we get notified of potential problems with BDD size.
// Avoid outputting its result, however, as the output would constantly need to be updated.
count(DataFlow::Node node, string cls | cls = node.getAQlClass()) >= 42 and
msg = "OK"
}