hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 08:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix test case

Browse Source
This commit is contained in:
Ed Minnix
2023-11-29 11:35:44 -05:00
parent 1271cd3348
commit 7362158229
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
java/ql/test/query-tests/security/CWE-330/WeakRandomTest.expected → java/ql/test/query-tests/security/CWE-330/InsecureRandomnessTest.expected
View File

4
java/ql/test/query-tests/security/CWE-330/WeakRandomTest.ql → java/ql/test/query-tests/security/CWE-330/InsecureRandomnessTest.ql
View File

@@ -1,6 +1,6 @@
import java
import semmle.code.java.dataflow.DataFlow
import semmle.code.java.security.WeakRandomnessQuery
import semmle.code.java.security.InsecureRandomnessQuery
import TestUtilities.InlineExpectationsTest
module WeakRandomTest implements TestSig {
@@ -8,7 +8,7 @@ module WeakRandomTest implements TestSig {
predicate hasActualResult(Location location, string element, string tag, string value) {
tag = "hasWeakRandomFlow" and
exists(DataFlow::Node sink | WeakRandomnessFlow::flowTo(sink) |
exists(DataFlow::Node sink | InsecureRandomnessFlow::flowTo(sink) |
sink.getLocation() = location and
element = sink.toString() and
value = ""