C++: Undo BadlyBoundedWrite change from #13929

This rolls back the query change, ensuring that there is no need for a
change note.
This commit is contained in:
Jonas Jensen
2023-08-18 13:48:58 +02:00
parent 478a105e21
commit a002f59f58
3 changed files with 5 additions and 2 deletions

View File

@@ -24,7 +24,7 @@ import semmle.code.cpp.security.BufferWrite
from BufferWrite bw, int destSize
where
bw.hasExplicitLimit() and // has an explicit size limit
destSize = max(getBufferSize(bw.getDest(), _)) and
destSize = getBufferSize(bw.getDest(), _) and
bw.getExplicitLimit() > destSize // but it's larger than the destination
select bw,
"This '" + bw.getBWDesc() + "' operation is limited to " + bw.getExplicitLimit() +