github
diff --git a/‎cpp/cert/src/rules/MSC51-CPP/BadlySeededRandomNumberGenerator.ql
Lines changed: 1 addition & 1 deletion b/‎cpp/cert/src/rules/MSC51-CPP/BadlySeededRandomNumberGenerator.ql
Lines changed: 1 addition & 1 deletion
diff --git a/‎cpp/cert/test/rules/CTR51-CPP/tempfile b/‎cpp/cert/test/rules/CTR51-CPP/tempfile
diff --git a/‎cpp/cert/test/rules/CTR53-CPP/tempfile b/‎cpp/cert/test/rules/CTR53-CPP/tempfile
diff --git a/‎cpp/cert/test/rules/ERR50-CPP/tempfile b/‎cpp/cert/test/rules/ERR50-CPP/tempfile
diff --git a/‎cpp/cert/test/rules/ERR52-CPP/tempfile b/‎cpp/cert/test/rules/ERR52-CPP/tempfile
diff --git a/‎cpp/cert/test/rules/STR52-CPP/tempfile b/‎cpp/cert/test/rules/STR52-CPP/tempfile
@@ -33,7 +33,7 @@ where
     or
     // Initialized from a poor source of randomness
     exists(Call c |
-      c.getTarget().hasQualifiedName("std", "time") and
+      c.getTarget().hasGlobalOrStdName("time") and
       TaintTracking::localExprTaint(c, createRandomNumberEngine.getSeedArgument()) and
       seedSource = "initialized from std::time"
     )
Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ where`
`33`	`33`	`or`
`34`	`34`	`// Initialized from a poor source of randomness`
`35`	`35`	`exists(Call c \|`
`36`		`- c.getTarget().hasQualifiedName("std", "time") and`
	`36`	`+ c.getTarget().hasGlobalOrStdName("time") and`
`37`	`37`	`TaintTracking::localExprTaint(c, createRandomNumberEngine.getSeedArgument()) and`
`38`	`38`	`seedSource = "initialized from std::time"`
`39`	`39`	`)`