Update c/cert/src/rules/EXP37-C/CallPOSIXOpenWithCorrectArgumentCount.ql

Nikita Kraiouchkine · mbaluda · web-flow · commit d61cbb1df8e4 · 2022-08-16T16:20:32.000+02:00
Co-authored-by: Mauro Baluda &lt;mbaluda@github.com&gt;
diff --git a/c/cert/src/rules/EXP37-C/CallPOSIXOpenWithCorrectArgumentCount.ql b/c/cert/src/rules/EXP37-C/CallPOSIXOpenWithCorrectArgumentCount.ql
@@ -43,7 +43,7 @@ class POSIXOpenFunctionCall extends FunctionCall {
    */
   predicate isOpenCreateCall() {
     hasFlagsArgBounds() and
-    upperBound(this.getArgument(1)).toString().toInt().bitAnd(o_creat_val()) != 0
+    upperBound(this.getArgument(1)).(int).bitAnd(o_creat_val()) != 0
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ class POSIXOpenFunctionCall extends FunctionCall {`
`43`	`43`	`*/`
`44`	`44`	`predicate isOpenCreateCall() {`
`45`	`45`	`hasFlagsArgBounds() and`
`46`		`- upperBound(this.getArgument(1)).toString().toInt().bitAnd(o_creat_val()) != 0`
	`46`	`+ upperBound(this.getArgument(1)).(int).bitAnd(o_creat_val()) != 0`
`47`	`47`	`}`
`48`	`48`	`}`
`49`	`49`