fix autoformatting

This commit is contained in:
amammad
2023-10-17 01:02:16 +02:00
parent 56bcbf3a41
commit 2f86c2588b
3 changed files with 5 additions and 4 deletions

View File

@@ -2,7 +2,7 @@ import go
import TestUtilities.InlineExpectationsTest
module FasthttpTest implements TestSig {
string getARelevantTag() { result = ["UriSucc","UriPred", "ReqSucc", "ReqPred"] }
string getARelevantTag() { result = ["UriSucc", "UriPred", "ReqSucc", "ReqPred"] }
predicate hasActualResult(Location location, string element, string tag, string value) {
exists(Fasthttp::Request::RequestAdditionalStep q, DataFlow::Node succ, DataFlow::Node pred |

View File

@@ -10,7 +10,7 @@ module FasthttpTest implements TestSig {
s.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
element = s.toString() and
value = s.toString() and
value = s.toString() and
tag = "OpenRedirect"
)
}

View File

@@ -6,8 +6,9 @@ module FasthttpTest implements TestSig {
predicate hasActualResult(Location location, string element, string tag, string value) {
exists(UntrustedFlowSource source |
source.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
source
.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
element = source.toString() and
value = "\"" + source.toString() + "\"" and
tag = "UntrustedFlowSource"