Skip to content

Commit cf66d01

Browse files
committed
JS: Add consistency test
1 parent 3103cfd commit cf66d01

File tree

2 files changed

+19
-0
lines changed

2 files changed

+19
-0
lines changed
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
consistencyIssue
2+
resultInWrongFile
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
import javascript
2+
import semmle.javascript.security.dataflow.RequestForgeryQuery as RequestForgery
3+
import semmle.javascript.security.dataflow.ClientSideRequestForgeryQuery as ClientSideRequestForgery
4+
import testUtilities.ConsistencyChecking
5+
6+
query predicate resultInWrongFile(DataFlow::Node node) {
7+
exists(DataFlow::Configuration cfg, string filePattern |
8+
cfg instanceof RequestForgery::Configuration and
9+
filePattern = ".*serverSide.*"
10+
or
11+
cfg instanceof ClientSideRequestForgery::Configuration and
12+
filePattern = ".*clientSide.*"
13+
|
14+
cfg.hasFlow(_, node) and
15+
not node.getFile().getRelativePath().regexpMatch(filePattern)
16+
)
17+
}

0 commit comments

Comments
 (0)