hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Autoformat

Browse Source
This commit is contained in:
aegilops
2023-06-19 11:50:54 +01:00
parent 1a108fb1c9
commit 2112d73a6a
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
java/ql/src/experimental/Security/CWE/CWE-078/CommandInjectionRuntimeExec.qll
View File

@@ -64,9 +64,9 @@ class ExecTaintConfiguration2 extends TaintTracking::Configuration {
class AssignToNonZeroIndex extends DataFlow::Node {
AssignToNonZeroIndex() {
exists(AssignExpr assign, ArrayAccess access |
assign.getDest() = access and
access.getIndexExpr().(IntegerLiteral).getValue() != "0" and
assign.getSource() = this.asExpr()
assign.getDest() = access and
access.getIndexExpr().(IntegerLiteral).getValue() != "0" and
assign.getSource() = this.asExpr()
)
}
}
@@ -75,8 +75,8 @@ class AssignToNonZeroIndex extends DataFlow::Node {
class ArrayInitAtNonZeroIndex extends DataFlow::Node {
ArrayInitAtNonZeroIndex() {
exists(ArrayInit init, int index |
init.getInit(index) = this.asExpr() and
index != 0
init.getInit(index) = this.asExpr() and
index != 0
)
}
}
@@ -85,9 +85,9 @@ class ArrayInitAtNonZeroIndex extends DataFlow::Node {
class StreamConcatAtNonZeroIndex extends DataFlow::Node {
StreamConcatAtNonZeroIndex() {
exists(MethodAccess call, int index |
call.getMethod().getQualifiedName() = "java.util.stream.Stream.concat" and
call.getArgument(index) = this.asExpr() and
index != 0
call.getMethod().getQualifiedName() = "java.util.stream.Stream.concat" and
call.getArgument(index) = this.asExpr() and
index != 0
)
}
}