hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Minor cleanup and sync files.

Browse Source
This commit is contained in:
Michael Nebel
2023-05-24 11:23:42 +02:00
parent 783d560e7d
commit 915042a881
6 changed files with 48 additions and 60 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -170,16 +170,14 @@ module Public {
private string getComponent(SummaryComponent sc) { private string getComponent(SummaryComponent sc) {
result = getComponentSpecific(sc) result = getComponentSpecific(sc)
or or
( exists(ArgumentPosition pos |
exists(ArgumentPosition pos | sc = TParameterSummaryComponent(pos) and
sc = TParameterSummaryComponent(pos) and result = "Parameter[" + getArgumentPosition(pos) + "]"
result = "Parameter[" + getArgumentPosition(pos) + "]" )
) or
or exists(ParameterPosition pos |
exists(ParameterPosition pos | sc = TArgumentSummaryComponent(pos) and
sc = TArgumentSummaryComponent(pos) and result = "Argument[" + getParameterPosition(pos) + "]"
result = "Argument[" + getParameterPosition(pos) + "]"
)
) )
or or
sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue" sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue"

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

@@ -170,16 +170,14 @@ module Public {
private string getComponent(SummaryComponent sc) { private string getComponent(SummaryComponent sc) {
result = getComponentSpecific(sc) result = getComponentSpecific(sc)
or or
( exists(ArgumentPosition pos |
exists(ArgumentPosition pos | sc = TParameterSummaryComponent(pos) and
sc = TParameterSummaryComponent(pos) and result = "Parameter[" + getArgumentPosition(pos) + "]"
result = "Parameter[" + getArgumentPosition(pos) + "]" )
) or
or exists(ParameterPosition pos |
exists(ParameterPosition pos | sc = TArgumentSummaryComponent(pos) and
sc = TArgumentSummaryComponent(pos) and result = "Argument[" + getParameterPosition(pos) + "]"
result = "Argument[" + getParameterPosition(pos) + "]"
)
) )
or or
sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue" sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue"

18
java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -170,16 +170,14 @@ module Public {
private string getComponent(SummaryComponent sc) { private string getComponent(SummaryComponent sc) {
result = getComponentSpecific(sc) result = getComponentSpecific(sc)
or or
( exists(ArgumentPosition pos |
exists(ArgumentPosition pos | sc = TParameterSummaryComponent(pos) and
sc = TParameterSummaryComponent(pos) and result = "Parameter[" + getArgumentPosition(pos) + "]"
result = "Parameter[" + getArgumentPosition(pos) + "]" )
) or
or exists(ParameterPosition pos |
exists(ParameterPosition pos | sc = TArgumentSummaryComponent(pos) and
sc = TArgumentSummaryComponent(pos) and result = "Argument[" + getParameterPosition(pos) + "]"
result = "Argument[" + getParameterPosition(pos) + "]"
)
) )
or or
sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue" sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue"

18
python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll
View File

@@ -170,16 +170,14 @@ module Public {
private string getComponent(SummaryComponent sc) { private string getComponent(SummaryComponent sc) {
result = getComponentSpecific(sc) result = getComponentSpecific(sc)
or or
( exists(ArgumentPosition pos |
exists(ArgumentPosition pos | sc = TParameterSummaryComponent(pos) and
sc = TParameterSummaryComponent(pos) and result = "Parameter[" + getArgumentPosition(pos) + "]"
result = "Parameter[" + getArgumentPosition(pos) + "]" )
) or
or exists(ParameterPosition pos |
exists(ParameterPosition pos | sc = TArgumentSummaryComponent(pos) and
sc = TArgumentSummaryComponent(pos) and result = "Argument[" + getParameterPosition(pos) + "]"
result = "Argument[" + getParameterPosition(pos) + "]"
)
) )
or or
sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue" sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue"

18
ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -170,16 +170,14 @@ module Public {
private string getComponent(SummaryComponent sc) { private string getComponent(SummaryComponent sc) {
result = getComponentSpecific(sc) result = getComponentSpecific(sc)
or or
( exists(ArgumentPosition pos |
exists(ArgumentPosition pos | sc = TParameterSummaryComponent(pos) and
sc = TParameterSummaryComponent(pos) and result = "Parameter[" + getArgumentPosition(pos) + "]"
result = "Parameter[" + getArgumentPosition(pos) + "]" )
) or
or exists(ParameterPosition pos |
exists(ParameterPosition pos | sc = TArgumentSummaryComponent(pos) and
sc = TArgumentSummaryComponent(pos) and result = "Argument[" + getParameterPosition(pos) + "]"
result = "Argument[" + getParameterPosition(pos) + "]"
)
) )
or or
sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue" sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue"

18
swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -170,16 +170,14 @@ module Public {
private string getComponent(SummaryComponent sc) { private string getComponent(SummaryComponent sc) {
result = getComponentSpecific(sc) result = getComponentSpecific(sc)
or or
( exists(ArgumentPosition pos |
exists(ArgumentPosition pos | sc = TParameterSummaryComponent(pos) and
sc = TParameterSummaryComponent(pos) and result = "Parameter[" + getArgumentPosition(pos) + "]"
result = "Parameter[" + getArgumentPosition(pos) + "]" )
) or
or exists(ParameterPosition pos |
exists(ParameterPosition pos | sc = TArgumentSummaryComponent(pos) and
sc = TArgumentSummaryComponent(pos) and result = "Argument[" + getParameterPosition(pos) + "]"
result = "Argument[" + getParameterPosition(pos) + "]"
)
) )
or or
sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue" sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue"