github
diff --git a/‎c/cert/src/rules/EXP43-C/DoNotPassAliasedPointerToRestrictQualifiedParam.ql
Copy file name to clipboardExpand all lines: c/cert/src/rules/EXP43-C/DoNotPassAliasedPointerToRestrictQualifiedParam.ql
+4-3Lines changed: 4 additions & 3 deletions b/‎c/cert/src/rules/EXP43-C/DoNotPassAliasedPointerToRestrictQualifiedParam.ql
Copy file name to clipboardExpand all lines: c/cert/src/rules/EXP43-C/DoNotPassAliasedPointerToRestrictQualifiedParam.ql
+4-3Lines changed: 4 additions & 3 deletions
diff --git a/‎c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.ql
Copy file name to clipboardExpand all lines: c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.ql
-4Lines changed: 0 additions & 4 deletions b/‎c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.ql
Copy file name to clipboardExpand all lines: c/cert/src/rules/EXP43-C/RestrictPointerReferencesOverlappingObject.ql
-4Lines changed: 0 additions & 4 deletions
@@ -115,7 +115,8 @@ class PointerValueToRestrictArgConfig extends DataFlow::Configuration {
 }
 
 from
-  CallToFunctionWithRestrictParameters call, CallToFunctionWithRestrictParametersArgExpr arg1,
+  PointerValueToRestrictArgConfig config, CallToFunctionWithRestrictParameters call,
+  CallToFunctionWithRestrictParametersArgExpr arg1,
   CallToFunctionWithRestrictParametersArgExpr arg2, int argOffset1, int argOffset2, Expr source1,
   Expr source2, string sourceMessage1, string sourceMessage2
 where
@@ -124,8 +125,8 @@ where
   arg2 = call.getAPtrArg(_) and
   // enforce ordering to remove permutations if multiple restrict-qualified args exist
   (not arg2 = call.getARestrictPtrArg() or arg2.getParamIndex() > arg1.getParamIndex()) and
-  // check if two pointers address the same object
-  exists(PointerValueToRestrictArgConfig config |
+  (
+    // check if two pointers address the same object
     config.hasFlow(DataFlow::exprNode(source1), DataFlow::exprNode(arg1.getAChild*())) and
     (
       // one pointer value flows to both args
 
@@ -51,10 +51,6 @@ class AssignedValueToRestrictPtrValueConfiguration extends DataFlow::Configurati
   override predicate isSink(DataFlow::Node sink) {
     sink.asExpr() instanceof AssignmentOrInitializationToRestrictPtrValueExpr
   }
-
-  override predicate isBarrierIn(DataFlow::Node node) {
-    isSource(node)
-  }
 }
 
 from
Original file line number	Diff line number	Diff line change
`@@ -51,10 +51,6 @@ class AssignedValueToRestrictPtrValueConfiguration extends DataFlow::Configurati`
`51`	`51`	`override predicate isSink(DataFlow::Node sink) {`
`52`	`52`	`sink.asExpr() instanceof AssignmentOrInitializationToRestrictPtrValueExpr`
`53`	`53`	`}`
`54`		`-`
`55`		`- override predicate isBarrierIn(DataFlow::Node node) {`
`56`		`- isSource(node)`
`57`		`- }`
`58`	`54`	`}`
`59`	`55`
`60`	`56`	`from`