Predicate getBufferSizeProj
Same as getBufferSize
, but with the why
column projected away to prevent large duplications.
Import path
import semmle.code.cpp.commons.Buffer
int getBufferSizeProj(Expr bufferExpr)
Same as getBufferSize
, but with the why
column projected away to prevent large duplications.
import semmle.code.cpp.commons.Buffer
int getBufferSizeProj(Expr bufferExpr)