fixed bad SourceNode X SourceNode join in HTTP model

This commit is contained in:
Erik Krogh Kristensen
2021-04-08 21:15:50 +02:00
parent 8adaee05b6
commit 956311457d
2 changed files with 2 additions and 4 deletions

View File

@@ -688,8 +688,7 @@ module Express {
override RouteHandler getRouteHandler() { result = rh }
override Expr getNameExpr() {
exists(DataFlow::PropWrite write |
getAHeaderSource().flowsTo(write.getBase()) and
exists(DataFlow::PropWrite write | getAHeaderSource().getAPropertyWrite() = write |
result = write.getPropertyNameExpr()
)
}

View File

@@ -283,8 +283,7 @@ module Fastify {
override RouteHandler getRouteHandler() { result = rh }
override Expr getNameExpr() {
exists(DataFlow::PropWrite write |
this.getAHeaderSource().flowsTo(write.getBase()) and
exists(DataFlow::PropWrite write | getAHeaderSource().getAPropertyWrite() = write |
result = write.getPropertyNameExpr()
)
}