Skip to content

even more instanceof extensions #6868

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 36 commits into from
Closed

even more instanceof extensions #6868

wants to merge 36 commits into from

Conversation

ginsbach
Copy link
Contributor

@ginsbach ginsbach commented Oct 13, 2021 •
edited
Loading

The ql-on-ql hackathon surfaced some more opportunities for non-extending subtypes: github/codeql-ql#45

This PR builds on #6866 and implements even more of them.

The last commit is probably the most important one to review.

ginsbach added 12 commits October 13, 2021 12:22
@ginsbach
SuppressionScope non-extending subtype of SuppressionComment
34816b1
@ginsbach
SuppressionScope non-extending subtype of SuppressionComment
cee233e
@ginsbach
SuppressionScope non-extending subtype of SuppressionAnnotation
8c1e459
@ginsbach
GeneratedTopLevel non-extending subtype of GeneratedType
2ed7a84
@ginsbach
HtmlElementDefinition non-extending subtype of HTML::Element
f71cc18
@ginsbach
JsxElementDefinition non-extending subtype of JSXElement
c16eecd
@ginsbach
HtmlAttributeDefinition non-extending subtype of HTML::Attribute
adcb39f
@ginsbach
InvokeNode non-extending subtype of DataFlow::Impl::InvokeNodeDef
0c16dfe
@ginsbach
MethodCallNode non-extending subtype of DataFlow::Impl::MethodCallNod…
9517822 
…eDef
@ginsbach
Refinement non-extending subtype of RefinementCandidate
067698d
@ginsbach
AnalyzedExplicitPropertyWrite non-extending subtype of DataFlow::Prop…
5d04148 
…Write
@ginsbach
LinkFunctionWithScopeInjection non-extending subtype of LinkFunction
f2c2bce
@ginsbach ginsbach requested review from a team as code owners October 13, 2021 12:06
@ginsbach ginsbach added the no-change-note-required This PR does not need a change note label Oct 13, 2021
@ginsbach ginsbach changed the title Ginsbach/even more instanceof extensions even more instanceof extensions Oct 13, 2021
@ginsbach ginsbach marked this pull request as draft October 13, 2021 12:16
hvitved
hvitved previously approved these changes Oct 13, 2021
View reviewed changes
Copy link
Contributor

@hvitved hvitved left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

C# 👍

erik-krogh
erik-krogh previously approved these changes Oct 13, 2021
View reviewed changes
Copy link
Contributor

@erik-krogh erik-krogh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

JS 👍

@ginsbach ginsbach dismissed stale reviews from erik-krogh and hvitved via 612ce48 October 13, 2021 13:06
@ginsbach ginsbach force-pushed the ginsbach/EvenMoreInstanceofExtensions branch from 612ce48 to 0dd396e Compare October 13, 2021 13:16
@ginsbach ginsbach marked this pull request as ready for review October 13, 2021 16:34
@ginsbach ginsbach requested a review from hvitved October 13, 2021 16:34
ginsbach added 21 commits October 14, 2021 12:53
@ginsbach
ProviderRecipeServiceInjection non-extending subtype of ProviderRecip…
710193e 
…eDefinition
@ginsbach
RequestInputAccessAsSource non-extending subtype of HTTP::RequestInpu…
0cead18 
…tAccess
@ginsbach
SuppressionScope non-extending subtype of SuppressionComment
2a75e5b
@ginsbach
LdapjsSearchFilterAsSink non-extending subtype of LdapjsSearchFilter
c7d39aa
@ginsbach
LdapjsDNArgumentAsSink non-extending subtype of LdapjsDNArgument
df33677
@ginsbach
UnpackingAssignmentSequenceTarget non-extending subtype of SequenceNode
46aac27
@ginsbach
TaintTrackingImplementation non-extending subtype of TaintTracking::C…
1df38c8 
…onfiguration
@ginsbach
EssaTaintTracking non-extending subtype of TaintTracking::Configuration
291b3a3
@ginsbach
ConfigurationAdapter non-extending subtype of Configuration
fd9227e
@ginsbach
ExternalPackage non-extending subtype of ModuleObject
30b59f5
@ginsbach
ModuleVariable non-extending subtype of GlobalVariable
aa193bb
@ginsbach
ModuleValue non-extending subtype of ModuleObjectInternal
c732852
@ginsbach
CallableValue non-extending subtype of CallableObjectInternal
c2f4ea4
@ginsbach
BoundMethodValue non-extending subtype of BoundMethodObjectInternal
54c5fac
@ginsbach
PythonFunctionValue non-extending subtype of PythonFunctionObjectInte…
10f015a 
…rnal
@ginsbach
BuiltinFunctionValue non-extending subtype of BuiltinFunctionObjectIn…
e23c2fc 
…ternal
@ginsbach
BuiltinMethodValue non-extending subtype of BuiltinMethodObjectInternal
158dfc1
@ginsbach
SequenceValue non-extending subtype of SequenceObjectInternal
084e69a
@ginsbach
PropertyValue non-extending subtype of PropertyInternal
ca1ddbb
@ginsbach
BackwardCompatiblePointToExtension non-extending subtype of CustomPoi…
1efa5d5 
…ntsToFact
@ginsbach
SuppressionScope non-extending subtype of SuppressionComment
bae1e36
@ginsbach ginsbach dismissed stale reviews from smowton and erik-krogh via 89ae7f2 October 14, 2021 12:07
@ginsbach ginsbach force-pushed the ginsbach/EvenMoreInstanceofExtensions branch from ec68940 to 89ae7f2 Compare October 14, 2021 12:07
@ginsbach ginsbach force-pushed the ginsbach/EvenMoreInstanceofExtensions branch from 89ae7f2 to 7e8e6e8 Compare October 14, 2021 12:18
@ginsbach ginsbach closed this Oct 24, 2022
@ginsbach ginsbach deleted the ginsbach/EvenMoreInstanceofExtensions branch October 24, 2022 08:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@smowton smowton smowton left review comments

@erik-krogh erik-krogh erik-krogh left review comments

@hvitved hvitved Awaiting requested review from hvitved

Copilot code review Copilot Awaiting requested review from Copilot Copilot will automatically review once the pull request is marked ready for review

Assignees
No one assigned
Labels
C# Java JS no-change-note-required This PR does not need a change note Python
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ginsbach @smowton @hvitved @erik-krogh