hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 22:32:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Use existing predicate

Browse Source 
There already exists the predicate
implements(string pkg, string tp, string name)
which does exactly what this code does
This commit is contained in:
Owen Mansel-Chan
2020-12-03 15:55:11 +00:00
parent 3f1197d605
commit fe1f08fb12
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ql/src/semmle/go/frameworks/Encoding.qll
View File

@@ -10,10 +10,8 @@ private class JsonIteratorUnmarshalFunction extends TaintTracking::FunctionModel
JsonIteratorUnmarshalFunction() {
this.hasQualifiedName("github.com/json-iterator/go", ["Unmarshal", "UnmarshalFromString"])
or
exists(Method m |
m.hasQualifiedName("github.com/json-iterator/go", "API", ["Unmarshal", "UnmarshalFromString"]) and
this.(Method).implements(m)
)
this.(Method)
.implements("github.com/json-iterator/go", "API", ["Unmarshal", "UnmarshalFromString"])
}
override DataFlow::FunctionInput getAnInput() { result.isParameter(0) }