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

Minor fixes to docs

Browse Source
This commit is contained in:
Owen Mansel-Chan
2024-10-24 13:52:33 +01:00
parent adc946ec2b
commit e335737f38
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -276,7 +276,7 @@ module SourceSinkInterpretationInput implements
*
* Note that naively checking `sse.asEntity()`'s qualified name is not correct, because
* `Method`s and `Field`s may have multiple qualified names due to embedding. We must instead
* check that the specific name given be `sse.hasTypeInfo` refers to either `qual`'s type
* check that the specific name given by `sse.hasTypeInfo` refers to either `qual`'s type
* or to a type it embeds.
*/
private predicate elementAppliesToQualifier(SourceOrSinkElement sse, DataFlow::Node qual) {
@@ -305,7 +305,7 @@ module SourceSinkInterpretationInput implements
syntacticQualBaseType.getUnderlyingType().(InterfaceType).getAnEmbeddedInterface()
or
// `syntacticQualBaseType`'s underlying type might be a struct type and `sse`
// might refer to an embedded method or field.
// might be a promoted method or field in it.
exists(StructType st, Field field1, Field field2, int depth1, int depth2, Type t2 |
st = syntacticQualBaseType.getUnderlyingType() and
field1 = st.getFieldAtDepth(_, depth1) and