Skip to content

Commit 9d4a167

Browse files
committed
fix autoformatting
1 parent b3be2a4 commit 9d4a167

File tree

3 files changed

+5
-4
lines changed

3 files changed

+5
-4
lines changed

go/ql/test/library-tests/semmle/go/frameworks/Fasthttp/AdditionalTaintSteps.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ import go
22
import TestUtilities.InlineExpectationsTest
33

44
module FasthttpTest implements TestSig {
5-
string getARelevantTag() { result = ["UriSucc","UriPred", "ReqSucc", "ReqPred"] }
5+
string getARelevantTag() { result = ["UriSucc", "UriPred", "ReqSucc", "ReqPred"] }
66

77
predicate hasActualResult(Location location, string element, string tag, string value) {
88
exists(Fasthttp::Request::RequestAdditionalStep q, DataFlow::Node succ, DataFlow::Node pred |

go/ql/test/library-tests/semmle/go/frameworks/Fasthttp/OpenRedirect.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ module FasthttpTest implements TestSig {
1010
s.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
1111
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
1212
element = s.toString() and
13-
value = s.toString() and
13+
value = s.toString() and
1414
tag = "OpenRedirect"
1515
)
1616
}

go/ql/test/library-tests/semmle/go/frameworks/Fasthttp/UntrustedRemoteFlowSource.ql

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,9 @@ module FasthttpTest implements TestSig {
66

77
predicate hasActualResult(Location location, string element, string tag, string value) {
88
exists(UntrustedFlowSource source |
9-
source.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
10-
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
9+
source
10+
.hasLocationInfo(location.getFile().getAbsolutePath(), location.getStartLine(),
11+
location.getStartColumn(), location.getEndLine(), location.getEndColumn()) and
1112
element = source.toString() and
1213
value = "\"" + source.toString() + "\"" and
1314
tag = "UntrustedFlowSource"

0 commit comments

Comments
 (0)