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

Fix accidental cartesian product

Browse Source 
PointerContent needs to have the PointerType specified as well
This commit is contained in:
Owen Mansel-Chan
2021-12-08 10:42:55 -05:00
parent d70307243c
commit 754c838cc0
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
ql/lib/semmle/go/dataflow/internal/TaintTrackingUtil.qll
View File

@@ -50,8 +50,7 @@ predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::Content c) {
container instanceof ArrayType and
c instanceof DataFlow::ArrayContent
or
container instanceof PointerType and
c instanceof DataFlow::PointerContent
c.(DataFlow::PointerContent).getPointerType() = container
or
container instanceof MapType and
c instanceof DataFlow::MapValueContent