hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

java: Inline expectation should have space before $

Browse Source
This commit is contained in:
Owen Mansel-Chan
2026-03-04 12:09:06 +00:00
parent ddebdad9e1
commit f41c30e335
11 changed files with 301 additions and 301 deletions
Download Patch File Download Diff File Expand all files Collapse all files

126
java/ql/test/library-tests/frameworks/ratpack/resources/PairTest.java
View File

@@ -21,9 +21,9 @@ public class PairTest {
sink(pair.right()); // no taint flow
sink(pair.getRight()); // no taint flow
Pair<String, String> updatedLeftPair = pair.left(taint());
sink(updatedLeftPair.left); //$hasTaintFlow
sink(updatedLeftPair.left()); //$hasTaintFlow
sink(updatedLeftPair.getLeft()); //$hasTaintFlow
sink(updatedLeftPair.left); // $ hasTaintFlow
sink(updatedLeftPair.left()); // $ hasTaintFlow
sink(updatedLeftPair.getLeft()); // $ hasTaintFlow
sink(updatedLeftPair.right); // no taint flow
sink(updatedLeftPair.right()); // no taint flow
sink(updatedLeftPair.getRight()); // no taint flow
@@ -31,33 +31,33 @@ public class PairTest {
sink(updatedRightPair.left); // no taint flow
sink(updatedRightPair.left()); // no taint flow
sink(updatedRightPair.getLeft()); // no taint flow
sink(updatedRightPair.right); //$hasTaintFlow
sink(updatedRightPair.right()); //$hasTaintFlow
sink(updatedRightPair.getRight()); //$hasTaintFlow
sink(updatedRightPair.right); // $ hasTaintFlow
sink(updatedRightPair.right()); // $ hasTaintFlow
sink(updatedRightPair.getRight()); // $ hasTaintFlow
Pair<String, String> updatedBothPair = pair.left(taint()).right(taint());
sink(updatedBothPair.left); //$hasTaintFlow
sink(updatedBothPair.left()); //$hasTaintFlow
sink(updatedBothPair.getLeft()); //$hasTaintFlow
sink(updatedBothPair.right); //$hasTaintFlow
sink(updatedBothPair.right()); //$hasTaintFlow
sink(updatedBothPair.getRight()); //$hasTaintFlow
sink(updatedBothPair.left); // $ hasTaintFlow
sink(updatedBothPair.left()); // $ hasTaintFlow
sink(updatedBothPair.getLeft()); // $ hasTaintFlow
sink(updatedBothPair.right); // $ hasTaintFlow
sink(updatedBothPair.right()); // $ hasTaintFlow
sink(updatedBothPair.getRight()); // $ hasTaintFlow
}
void test2() {
Pair<String, String> pair = Pair.of(taint(), taint());
sink(pair.left); //$hasTaintFlow
sink(pair.left()); //$hasTaintFlow
sink(pair.getLeft()); //$hasTaintFlow
sink(pair.right); //$hasTaintFlow
sink(pair.right()); //$hasTaintFlow
sink(pair.getRight()); //$hasTaintFlow
sink(pair.left); // $ hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.getLeft()); // $ hasTaintFlow
sink(pair.right); // $ hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
sink(pair.getRight()); // $ hasTaintFlow
Pair<String, Pair<String, String>> pushedLeftPair = pair.pushLeft("safe");
sink(pushedLeftPair.left()); // no taint flow
sink(pushedLeftPair.right().left()); //$hasTaintFlow
sink(pushedLeftPair.right().right()); //$hasTaintFlow
sink(pushedLeftPair.right().left()); // $ hasTaintFlow
sink(pushedLeftPair.right().right()); // $ hasTaintFlow
Pair<Pair<String, String>, String> pushedRightPair = pair.pushRight("safe");
sink(pushedRightPair.left().left()); //$hasTaintFlow
sink(pushedRightPair.left().right()); //$hasTaintFlow
sink(pushedRightPair.left().left()); // $ hasTaintFlow
sink(pushedRightPair.left().right()); // $ hasTaintFlow
sink(pushedRightPair.right()); // no taint flow
}
@@ -70,39 +70,39 @@ public class PairTest {
sink(pair.right()); // no taint flow
sink(pair.getRight()); // no taint flow
Pair<String, Pair<String, String>> pushedLeftPair = pair.pushLeft(taint());
sink(pushedLeftPair.left()); //$hasTaintFlow
sink(pushedLeftPair.left()); // $ hasTaintFlow
sink(pushedLeftPair.right().left()); // no taint flow
sink(pushedLeftPair.right().right()); // no taint flow
Pair<Pair<String, String>, String> pushedRightPair = pair.pushRight(taint());
sink(pushedRightPair.left().left()); // no taint flow
sink(pushedRightPair.left().right()); // no taint flow
sink(pushedRightPair.right()); //$hasTaintFlow
sink(pushedRightPair.right()); // $ hasTaintFlow
}
void test4() {
Pair<String, String> pair = Pair.of(taint(), taint());
sink(pair.left()); //$hasTaintFlow
sink(pair.right()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
Pair<Pair<String, String>, String> nestLeftPair = pair.nestLeft("safe");
sink(nestLeftPair.left().left()); // no taint flow
sink(nestLeftPair.left().right()); //$hasTaintFlow
sink(nestLeftPair.right()); //$hasTaintFlow
sink(nestLeftPair.left().right()); // $ hasTaintFlow
sink(nestLeftPair.right()); // $ hasTaintFlow
Pair<String, Pair<String, String>> nestRightPair = pair.nestRight("safe");
sink(nestRightPair.left()); //$hasTaintFlow
sink(nestRightPair.left()); // $ hasTaintFlow
sink(nestRightPair.right().left()); // no taint flow
sink(nestRightPair.right().right()); //$hasTaintFlow
sink(nestRightPair.right().right()); // $ hasTaintFlow
}
void test5() {
Pair<String, String> pair = Pair.of(taint(), "safe");
sink(pair.left()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // no taint flow
Pair<Pair<String, String>, String> nestLeftPair = pair.nestLeft("safe");
sink(nestLeftPair.left().left()); // no taint flow
sink(nestLeftPair.left().right()); //$hasTaintFlow
sink(nestLeftPair.left().right()); // $ hasTaintFlow
sink(nestLeftPair.right()); // no taint flow
Pair<String, Pair<String, String>> nestRightPair = pair.nestRight("safe");
sink(nestRightPair.left()); //$hasTaintFlow
sink(nestRightPair.left()); // $ hasTaintFlow
sink(nestRightPair.right().left()); // no taint flow
sink(nestRightPair.right().right()); // no taint flow
}
@@ -110,15 +110,15 @@ public class PairTest {
void test6() {
Pair<String, String> pair = Pair.of("safe", taint());
sink(pair.left()); // no taint flow
sink(pair.right()); //$hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
Pair<Pair<String, String>, String> nestLeftPair = pair.nestLeft("safe");
sink(nestLeftPair.left().left()); // no taint flow
sink(nestLeftPair.left().right()); // no taint flow
sink(nestLeftPair.right()); //$hasTaintFlow
sink(nestLeftPair.right()); // $ hasTaintFlow
Pair<String, Pair<String, String>> nestRightPair = pair.nestRight("safe");
sink(nestRightPair.left()); // no taint flow
sink(nestRightPair.right().left()); // no taint flow
sink(nestRightPair.right().right()); //$hasTaintFlow
sink(nestRightPair.right().right()); // $ hasTaintFlow
}
void test7() {
@@ -141,7 +141,7 @@ public class PairTest {
sink(left); // no taint flow
return taint();
});
sink(taintLeft.left()); //$hasTaintFlow
sink(taintLeft.left()); // $ hasTaintFlow
sink(taintLeft.right()); // no taint flow
}
@@ -152,43 +152,43 @@ public class PairTest {
return taint();
});
sink(taintRight.left()); // no taint flow
sink(taintRight.right()); //$hasTaintFlow
sink(taintRight.right()); // $ hasTaintFlow
}
void test10() throws Exception {
Pair<String, String> pair = Pair.of(taint(), taint());
Pair<String, String> taintLeft = pair.mapLeft(left -> {
sink(left); //$hasTaintFlow
sink(left); // $ hasTaintFlow
return "safe";
});
sink(taintLeft.left()); // no taint flow
sink(taintLeft.right()); //$hasTaintFlow
sink(taintLeft.right()); // $ hasTaintFlow
}
void test11() throws Exception {
Pair<String, String> pair = Pair.of(taint(), taint());
Pair<String, String> taintRight = pair.mapRight(right -> {
sink(right); //$hasTaintFlow
sink(right); // $ hasTaintFlow
return "safe";
});
sink(taintRight.left()); //$hasTaintFlow
sink(taintRight.left()); // $ hasTaintFlow
sink(taintRight.right()); // no taint flow
}
void test12() throws Exception {
Pair<String, String> pair = Pair.of(taint(), taint());
String safe = pair.map(p -> {
sink(p.left()); //$hasTaintFlow
sink(p.right()); //$hasTaintFlow
sink(p.left()); // $ hasTaintFlow
sink(p.right()); // $ hasTaintFlow
return "safe";
});
sink(safe); // no taint flow
String unsafe = pair.map(p -> {
sink(p.left()); //$hasTaintFlow
sink(p.right()); //$hasTaintFlow
sink(p.left()); // $ hasTaintFlow
sink(p.right()); // $ hasTaintFlow
return taint();
});
sink(unsafe); //$hasTaintFlow
sink(unsafe); // $ hasTaintFlow
}
void test13() {
@@ -197,20 +197,20 @@ public class PairTest {
.left(Promise.value("safe"))
.then(pair -> {
sink(pair.left()); // no taint flow
sink(pair.right()); //$hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
});
Promise
.value(taint())
.right(Promise.value("safe"))
.then(pair -> {
sink(pair.left()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // no taint flow
});
Promise
.value("safe")
.left(Promise.value(taint()))
.then(pair -> {
sink(pair.left()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // no taint flow
});
Promise
@@ -218,7 +218,7 @@ public class PairTest {
.right(Promise.value(taint()))
.then(pair -> {
sink(pair.left()); // no taint flow
sink(pair.right()); //$hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
});
}
@@ -226,21 +226,21 @@ public class PairTest {
Promise
.value(taint())
.left(value -> {
sink(value); //$hasTaintFlow
sink(value); // $ hasTaintFlow
return "safe";
})
.then(pair -> {
sink(pair.left()); // no taint flow
sink(pair.right()); //$hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
});
Promise
.value(taint())
.right(value -> {
sink(value); //$hasTaintFlow
sink(value); // $ hasTaintFlow
return "safe";
})
.then(pair -> {
sink(pair.left()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // no taint flow
});
Promise
@@ -250,7 +250,7 @@ public class PairTest {
return taint();
})
.then(pair -> {
sink(pair.left()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // no taint flow
});
Promise
@@ -261,7 +261,7 @@ public class PairTest {
})
.then(pair -> {
sink(pair.left()); // no taint flow
sink(pair.right()); //$hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
});
}
@@ -269,21 +269,21 @@ public class PairTest {
Promise
.value(taint())
.flatLeft(value -> {
sink(value); //$hasTaintFlow
sink(value); // $ hasTaintFlow
return Promise.value("safe");
})
.then(pair -> {
sink(pair.left()); // no taint flow
sink(pair.right()); //$hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
});
Promise
.value(taint())
.flatRight(value -> {
sink(value); //$hasTaintFlow
sink(value); // $ hasTaintFlow
return Promise.value("safe");
})
.then(pair -> {
sink(pair.left()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // no taint flow
});
Promise
@@ -292,7 +292,7 @@ public class PairTest {
return Promise.value(taint());
})
.then(pair -> {
sink(pair.left()); //$hasTaintFlow
sink(pair.left()); // $ hasTaintFlow
sink(pair.right()); // no taint flow
});
Promise
@@ -302,7 +302,7 @@ public class PairTest {
})
.then(pair -> {
sink(pair.left()); // no taint flow
sink(pair.right()); //$hasTaintFlow
sink(pair.right()); // $ hasTaintFlow
});
}
}