diff --git a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp index 2242f89ea46..afe4e52de95 100644 --- a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp +++ b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp @@ -43,4 +43,4 @@ Exploitation Exercise with unsafe.Pointer in Go: Information Leak (Part 1). - \ No newline at end of file + diff --git a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql index fc27216167f..9fd294f8b12 100644 --- a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql +++ b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql @@ -87,7 +87,6 @@ predicate castShortArrayToLongerArray( (arrTo.getLength() - arrFromSize) + " bytes)" ) ) and - arrTo.getLength() > 0 and //TODO arrTo.getLength() > arrFromSize ) }