refactor the tests for connect

This commit is contained in:
Erik Krogh Kristensen
2021-08-30 23:32:12 +02:00
parent c6399dbdf4
commit 3d6ab81ab8
16 changed files with 57 additions and 86 deletions

View File

@@ -1,5 +0,0 @@
import javascript
query predicate test_Credentials(Connect::Credentials cr, string res) {
res = cr.getCredentialsKind()
}

View File

@@ -1,5 +0,0 @@
import javascript
query predicate test_HeaderDefinition(HTTP::HeaderDefinition hd, Connect::RouteHandler rh) {
rh = hd.getRouteHandler()
}

View File

@@ -1,5 +0,0 @@
import javascript
query predicate test_HeaderDefinition_defines(HTTP::HeaderDefinition hd, string name, string value) {
hd.defines(name, value) and hd.getRouteHandler() instanceof Connect::RouteHandler
}

View File

@@ -1,5 +0,0 @@
import javascript
query predicate test_HeaderDefinition_getAHeaderName(HTTP::HeaderDefinition hd, string res) {
hd.getRouteHandler() instanceof Connect::RouteHandler and res = hd.getAHeaderName()
}

View File

@@ -1,5 +0,0 @@
import javascript
query predicate test_RequestExpr(HTTP::RequestExpr e, HTTP::RouteHandler res) {
res = e.getRouteHandler()
}

View File

@@ -1,7 +0,0 @@
import javascript
query predicate test_RequestInputAccess(
HTTP::RequestInputAccess ria, string res, Connect::RouteHandler rh
) {
ria.getRouteHandler() = rh and res = ria.getKind()
}

View File

@@ -1,5 +0,0 @@
import javascript
query predicate test_ResponseExpr(HTTP::ResponseExpr e, HTTP::RouteHandler res) {
res = e.getRouteHandler()
}

View File

@@ -1,3 +0,0 @@
import javascript
query predicate test_RouteHandler(Connect::RouteHandler rh, Expr res) { res = rh.getServer() }

View File

@@ -1,5 +0,0 @@
import semmle.javascript.frameworks.Express
query predicate test_RouteHandler_getARequestExpr(Connect::RouteHandler rh, HTTP::RequestExpr res) {
res = rh.getARequestExpr()
}

View File

@@ -1,5 +0,0 @@
import semmle.javascript.frameworks.Express
query predicate test_RouteHandler_getAResponseExpr(Connect::RouteHandler rh, HTTP::ResponseExpr res) {
res = rh.getAResponseExpr()
}

View File

@@ -1,7 +0,0 @@
import semmle.javascript.frameworks.Express
query predicate test_RouteHandler_getAResponseHeader(
Connect::RouteHandler rh, string name, HTTP::HeaderDefinition res
) {
res = rh.getAResponseHeader(name)
}

View File

@@ -1,3 +0,0 @@
import javascript
query predicate test_RouteSetup(Connect::RouteSetup rs) { any() }

View File

@@ -1,5 +0,0 @@
import javascript
query predicate test_RouteSetup_getARouteHandler(Connect::RouteSetup r, DataFlow::SourceNode res) {
res = r.getARouteHandler()
}

View File

@@ -1,3 +0,0 @@
import javascript
query predicate test_RouteSetup_getServer(Connect::RouteSetup rs, Expr res) { res = rs.getServer() }

View File

@@ -1,3 +0,0 @@
import javascript
query predicate test_ServerDefinition(Connect::ServerDefinition s) { any() }

View File

@@ -1,15 +1,57 @@
import RouteSetup
import RequestInputAccess
import RouteHandler_getAResponseHeader
import HeaderDefinition_defines
import ResponseExpr
import HeaderDefinition
import RouteSetup_getServer
import HeaderDefinition_getAHeaderName
import ServerDefinition
import RouteHandler_getAResponseExpr
import RouteSetup_getARouteHandler
import RouteHandler
import RequestExpr
import Credentials
import RouteHandler_getARequestExpr
import javascript
query predicate test_RouteSetup(Connect::RouteSetup rs) { any() }
query predicate test_RequestInputAccess(
HTTP::RequestInputAccess ria, string res, Connect::RouteHandler rh
) {
ria.getRouteHandler() = rh and res = ria.getKind()
}
query predicate test_RouteHandler_getAResponseHeader(
Connect::RouteHandler rh, string name, HTTP::HeaderDefinition res
) {
res = rh.getAResponseHeader(name)
}
query predicate test_HeaderDefinition_defines(HTTP::HeaderDefinition hd, string name, string value) {
hd.defines(name, value) and hd.getRouteHandler() instanceof Connect::RouteHandler
}
query predicate test_ResponseExpr(HTTP::ResponseExpr e, HTTP::RouteHandler res) {
res = e.getRouteHandler()
}
query predicate test_HeaderDefinition(HTTP::HeaderDefinition hd, Connect::RouteHandler rh) {
rh = hd.getRouteHandler()
}
query predicate test_RouteSetup_getServer(Connect::RouteSetup rs, Expr res) { res = rs.getServer() }
query predicate test_HeaderDefinition_getAHeaderName(HTTP::HeaderDefinition hd, string res) {
hd.getRouteHandler() instanceof Connect::RouteHandler and res = hd.getAHeaderName()
}
query predicate test_ServerDefinition(Connect::ServerDefinition s) { any() }
query predicate test_RouteHandler_getAResponseExpr(Connect::RouteHandler rh, HTTP::ResponseExpr res) {
res = rh.getAResponseExpr()
}
query predicate test_RouteSetup_getARouteHandler(Connect::RouteSetup r, DataFlow::SourceNode res) {
res = r.getARouteHandler()
}
query predicate test_RouteHandler(Connect::RouteHandler rh, Expr res) { res = rh.getServer() }
query predicate test_RequestExpr(HTTP::RequestExpr e, HTTP::RouteHandler res) {
res = e.getRouteHandler()
}
query predicate test_Credentials(Connect::Credentials cr, string res) {
res = cr.getCredentialsKind()
}
query predicate test_RouteHandler_getARequestExpr(Connect::RouteHandler rh, HTTP::RequestExpr res) {
res = rh.getARequestExpr()
}