@@ -24,7 +24,7 @@ import semmle.code.cpp.valuenumbering.GlobalValueNumbering
2424 * Holds if `call` is a call to `strncat` such that `sizeArg` and `destArg` are the size and
2525 * destination arguments, respectively.
2626 */
27- predicate interestringCallWithArgs ( Call call , Expr sizeArg , Expr destArg ) {
27+ predicate interestingCallWithArgs ( Call call , Expr sizeArg , Expr destArg ) {
2828 exists ( StrcatFunction strcat |
2929 strcat = call .getTarget ( ) and
3030 sizeArg = call .getArgument ( strcat .getParamSize ( ) ) and
@@ -37,7 +37,7 @@ predicate interestringCallWithArgs(Call call, Expr sizeArg, Expr destArg) {
3737 * argument `destArg`, and `destArg` is the size of the buffer pointed to by `destArg`.
3838 */
3939predicate case1 ( FunctionCall fc , Expr sizeArg , VariableAccess destArg ) {
40- interestringCallWithArgs ( fc , sizeArg , destArg ) and
40+ interestingCallWithArgs ( fc , sizeArg , destArg ) and
4141 exists ( VariableAccess va |
4242 va = sizeArg .( BufferSizeExpr ) .getArg ( ) and
4343 destArg .getTarget ( ) = va .getTarget ( )
@@ -49,7 +49,7 @@ predicate case1(FunctionCall fc, Expr sizeArg, VariableAccess destArg) {
4949 * argument `destArg`, and `sizeArg` computes the value `sizeof (dest) - strlen (dest)`.
5050 */
5151predicate case2 ( FunctionCall fc , Expr sizeArg , VariableAccess destArg ) {
52- interestringCallWithArgs ( fc , sizeArg , destArg ) and
52+ interestingCallWithArgs ( fc , sizeArg , destArg ) and
5353 exists ( SubExpr sub , int n |
5454 // The destination buffer is an array of size n
5555 destArg .getUnspecifiedType ( ) .( ArrayType ) .getSize ( ) = n and
0 commit comments