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

Add types for more tuple extractions

Browse Source 
Specifically, extractions where the RHS is a map element read or a channel receive
will now have types.
This commit is contained in:
Sauyon Lee
2021-04-20 13:45:53 -07:00
parent ba2da6d9a9
commit d1daca541e
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
ql/src/semmle/go/controlflow/IR.qll
View File

@@ -751,6 +751,18 @@ module IR {
result = tae.getType().(TupleType).getComponentType(pragma[only_bind_into](i))
)
or
exists(Instruction mapBase | this.getBase().readsElement(mapBase, _) |
i = 0 and result = mapBase.getResultType().getUnderlyingType().(MapType).getValueType()
or
i = 1 and result = any(BoolExprType b)
)
or
exists(RecvExpr re | this.getBase() = evalExprInstruction(re) |
i = 0 and result = re.getOperand().getType().getUnderlyingType().(ChanType).getElementType()
or
i = 1 and result = any(BoolExprType b)
)
or
exists(Type rangeType | rangeType = s.(RangeStmt).getDomain().getType().getUnderlyingType() |
exists(Type baseType |
baseType = rangeType.(ArrayType).getElementType() or