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

Inline late and remove manual magic

Browse Source
This commit is contained in:
Owen Mansel-Chan
2024-10-25 12:32:39 +01:00
parent c2aee37210
commit 80e8015e67
1 changed files with 2 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -279,14 +279,9 @@ module SourceSinkInterpretationInput implements
* check that the specific name given by `sse.hasTypeInfo` refers to either `qual`'s type
* or to a type it embeds.
*/
bindingset[sse, qual]
pragma[inline_late]
private predicate elementAppliesToQualifier(SourceOrSinkElement sse, DataFlow::Node qual) {
(
exists(DataFlow::CallNode cn | cn.getReceiver() = qual and cn.getTarget() = sse.asEntity())
or
exists(DataFlow::FieldReadNode frn | frn.getBase() = qual and frn.getField() = sse.asEntity())
or
exists(DataFlow::Write fw | fw.writesField(qual, sse.asEntity(), _))
) and
exists(
string pkg, string typename, boolean subtypes, Type syntacticQualBaseType, Type targetType
|