-
Notifications
You must be signed in to change notification settings - Fork 1.8k
Re-factor printing of summary component stacks. #13452
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.
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
Conversation
f4c3fcd
to
3f06055
Compare
3fba6d1
to
87a8117
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, just a question about naming.
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
Outdated
Show resolved
Hide resolved
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
Outdated
Show resolved
Hide resolved
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, only minor changes needed. Thanks for doing this 💪
python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll
Show resolved
Hide resolved
ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll
Outdated
Show resolved
Hide resolved
ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll
Outdated
Show resolved
Hide resolved
swift/ql/test/query-tests/Security/CWE-089/SqlInjection.expected
Outdated
Show resolved
Hide resolved
ac77e0c
to
40e8d33
Compare
40e8d33
to
299481c
Compare
DCA looks good. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am perhaps slightly confused by the heavy focus on MaD in the QLDoc.
Is the printing not equally aligned with what is used in propagatesFlowExt
?
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll
Outdated
Show resolved
Hide resolved
python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll
Show resolved
Hide resolved
…y component stacks.
7c3bae1
to
7a5dd8d
Compare
7a5dd8d
to
243c592
Compare
@hvitved : Only change since your last review is the last commit. |
In this PR we try to align then printing of summary component stacks with their textual representation as they would like, when being used in an access path (for MaD models).
Furthermore, it turns out that the existing printer
getComponentStack
is not up to date for all languages. This is also fixed in this PR.