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

C#: Refer to the Node class via DataFlow instead of DataFlow2.

Browse Source
This commit is contained in:
Michael Nebel
2023-05-08 14:11:28 +02:00
parent bd0133630d
commit 9e990e752f
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/src/experimental/Security Features/CWE-759/HashWithoutSalt.ql
View File

@@ -10,8 +10,6 @@
*/
import csharp
import semmle.code.csharp.dataflow.DataFlow2
import semmle.code.csharp.dataflow.TaintTracking2
import HashWithoutSalt::PathGraph
/** The C# class `Windows.Security.Cryptography.Core.HashAlgorithmProvider`. */
@@ -77,7 +75,7 @@ predicate isHashCall(MethodCall mc) {
/** Holds if there is another hashing method call. */
predicate hasAnotherHashCall(MethodCall mc) {
exists(MethodCall mc2, DataFlow2::Node src, DataFlow2::Node sink |
exists(MethodCall mc2, DataFlow::Node src, DataFlow::Node sink |
isHashCall(mc2) and
mc2 != mc and
(