hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #13567 from github/alexdenisov/extend-observer

Browse Source 
Swift: extend frontend observer
This commit is contained in:
AlexDenisov
2023-06-28 09:35:27 +02:00
committed by GitHub
parent 113408e878 ea5eda0f22
commit 9094f9aa9c
25 changed files with 30 additions and 136 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
swift/ql/test/extractor-tests/declarations/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,6 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

2
swift/ql/test/extractor-tests/expressions/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,2 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |

6
swift/ql/test/extractor-tests/generated/decl/EnumDecl/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,6 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

2
swift/ql/test/extractor-tests/statements/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,2 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |

9
swift/ql/test/library-tests/ast/CONSISTENCY/CfgConsistency.expected
View File

@@ -8,13 +8,4 @@ multipleSuccessors
deadEnd
| cfg.swift:33:49:33:60 | call to isZero(x:) |
| cfg.swift:144:18:144:34 | ... .&&(_:_:) ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| patterns.swift:16:10:16:14 | =~ ... |

4
swift/ql/test/library-tests/ast/Errors.expected
View File

@@ -1,5 +1 @@
| file://:0:0:0:0 | ... .combine(_:) | UnresolvedDotExpr |
| file://:0:0:0:0 | ... .combine(_:) | UnresolvedDotExpr |
| file://:0:0:0:0 | ... .combine(_:) | UnresolvedDotExpr |
| file://:0:0:0:0 | ... .combine(_:) | UnresolvedDotExpr |
| patterns.swift:16:12:16:12 | OverloadedDeclRefExpr | OverloadedDeclRefExpr |

36
swift/ql/test/library-tests/ast/PrintAst.expected
View File

@@ -2795,11 +2795,14 @@ cfg.swift:
#-----| getSource(): [IntegerLiteralExpr] 1
#-----| getLabel(0): [CaseLabelItem] .B
#-----| getPattern(): [EnumElementPattern] .B
#-----| getElement(2): [CallExpr] call to ...
#-----| getFunction(): [UnresolvedDotExpr] ... .combine(_:)
#-----| getBase(): [DeclRefExpr] hasher
#-----| getElement(2): [CallExpr] call to combine(_:)
#-----| getFunction(): [MethodLookupExpr] .combine(_:)
#-----| getBase(): [InOutExpr] &...
#-----| getSubExpr(): [DeclRefExpr] hasher
#-----| getMethodRef(): [DeclRefExpr] combine(_:)
#-----| getArgument(0): [Argument] : discriminator
#-----| getExpr(): [DeclRefExpr] discriminator
#-----| getExpr().getFullyConverted(): [LoadExpr] (Int) ...
#-----| getMember(7): [ConcreteVarDecl] hashValue
#-----| Type = Int
#-----| getAccessor(0): [Accessor] get
@@ -3482,11 +3485,14 @@ declarations.swift:
#-----| getSource(): [IntegerLiteralExpr] 4
#-----| getLabel(0): [CaseLabelItem] .value5
#-----| getPattern(): [EnumElementPattern] .value5
#-----| getElement(2): [CallExpr] call to ...
#-----| getFunction(): [UnresolvedDotExpr] ... .combine(_:)
#-----| getBase(): [DeclRefExpr] hasher
#-----| getElement(2): [CallExpr] call to combine(_:)
#-----| getFunction(): [MethodLookupExpr] .combine(_:)
#-----| getBase(): [InOutExpr] &...
#-----| getSubExpr(): [DeclRefExpr] hasher
#-----| getMethodRef(): [DeclRefExpr] combine(_:)
#-----| getArgument(0): [Argument] : discriminator
#-----| getExpr(): [DeclRefExpr] discriminator
#-----| getExpr().getFullyConverted(): [LoadExpr] (Int) ...
#-----| getMember(10): [ConcreteVarDecl] hashValue
#-----| Type = Int
#-----| getAccessor(0): [Accessor] get
@@ -4394,11 +4400,14 @@ expressions.swift:
#-----| getSource(): [IntegerLiteralExpr] 0
#-----| getLabel(0): [CaseLabelItem] .failed
#-----| getPattern(): [EnumElementPattern] .failed
#-----| getElement(2): [CallExpr] call to ...
#-----| getFunction(): [UnresolvedDotExpr] ... .combine(_:)
#-----| getBase(): [DeclRefExpr] hasher
#-----| getElement(2): [CallExpr] call to combine(_:)
#-----| getFunction(): [MethodLookupExpr] .combine(_:)
#-----| getBase(): [InOutExpr] &...
#-----| getSubExpr(): [DeclRefExpr] hasher
#-----| getMethodRef(): [DeclRefExpr] combine(_:)
#-----| getArgument(0): [Argument] : discriminator
#-----| getExpr(): [DeclRefExpr] discriminator
#-----| getExpr().getFullyConverted(): [LoadExpr] (Int) ...
#-----| getMember(5): [ConcreteVarDecl] hashValue
#-----| Type = Int
#-----| getAccessor(0): [Accessor] get
@@ -6656,11 +6665,14 @@ statements.swift:
#-----| getSource(): [IntegerLiteralExpr] 0
#-----| getLabel(0): [CaseLabelItem] .failed
#-----| getPattern(): [EnumElementPattern] .failed
#-----| getElement(2): [CallExpr] call to ...
#-----| getFunction(): [UnresolvedDotExpr] ... .combine(_:)
#-----| getBase(): [DeclRefExpr] hasher
#-----| getElement(2): [CallExpr] call to combine(_:)
#-----| getFunction(): [MethodLookupExpr] .combine(_:)
#-----| getBase(): [InOutExpr] &...
#-----| getSubExpr(): [DeclRefExpr] hasher
#-----| getMethodRef(): [DeclRefExpr] combine(_:)
#-----| getArgument(0): [Argument] : discriminator
#-----| getExpr(): [DeclRefExpr] discriminator
#-----| getExpr().getFullyConverted(): [LoadExpr] (Int) ...
#-----| getMember(5): [ConcreteVarDecl] hashValue
#-----| Type = Int
#-----| getAccessor(0): [Accessor] get

2
swift/ql/test/library-tests/controlflow/graph/CONSISTENCY/CfgConsistency.expected
View File

@@ -8,5 +8,3 @@ multipleSuccessors
deadEnd
| cfg.swift:33:49:33:60 | call to isZero(x:) |
| cfg.swift:144:18:144:34 | ... .&&(_:_:) ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

5
swift/ql/test/library-tests/dataflow/taint/libraries/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,5 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

10
swift/ql/test/library-tests/elements/decl/enumdecl/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,10 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

3
swift/ql/test/library-tests/elements/decl/function/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,3 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

2
swift/ql/test/query-tests/Security/CWE-089/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,2 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |

11
swift/ql/test/query-tests/Security/CWE-1204/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,11 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

5
swift/ql/test/query-tests/Security/CWE-259/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,5 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

2
swift/ql/test/query-tests/Security/CWE-311/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,2 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |

6
swift/ql/test/query-tests/Security/CWE-312/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,6 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

13
swift/ql/test/query-tests/Security/CWE-321/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,13 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

9
swift/ql/test/query-tests/Security/CWE-327/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,9 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

2
swift/ql/test/query-tests/Security/CWE-328/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,2 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |

5
swift/ql/test/query-tests/Security/CWE-611/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,5 +0,0 @@
deadEnd
| file://:0:0:0:0 | StmtCondition |
| file://:0:0:0:0 | StmtCondition |
| file://:0:0:0:0 | hasher |
| file://:0:0:0:0 | hasher |

5
swift/ql/test/query-tests/Security/CWE-757/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,5 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

5
swift/ql/test/query-tests/Security/CWE-760/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,5 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |

5
swift/ql/test/query-tests/Security/CWE-916/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,5 +0,0 @@
deadEnd
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |
| file://:0:0:0:0 | ... = ... |