Paolo Tranquilli
de72e68d2c
Merge branch 'main' into redsun82/codegen-new-parent-child
2025-06-26 12:14:53 +02:00
Paolo Tranquilli
355fd85c23
Codegen: remove unneeded has|getNumberOf in instance tests
2025-06-25 12:02:13 +02:00
Paolo Tranquilli
6bbf1e3bc1
Codegen: use one generated test file per directory
...
This collapses all generated test QL sources into a single one per
directory, using query predicates to run the different tests.
This should improve the time required to run generated tests.
2025-06-25 11:44:54 +02:00
Paolo Tranquilli
1dcd60527c
Codegen: improve implementation of generated parent/child relationship
...
This improves the implementation of the generated parent/child
relationship by adding a new `all_children` field to `ql.Class` which
lists all children (both direct and inherited) of a class, carefully
avoiding duplicating children in case of diamond inheritance. This:
* simplifies the generated code,
* avoid children ambiguities in case of diamond inheritance.
This only comes with some changes in the order of children in the
generated tests (we were previously sorting bases alphabetically there).
For the rest this should be a non-functional change.
2025-06-24 17:26:24 +02:00
Nora Dimitrijević
35a48e7f41
Swift: convert XXE test to .qlref
2025-06-24 14:58:16 +02:00
Nora Dimitrijević
aa3e0116c1
Swift: convert PathInjection test to .qlref
2025-06-24 14:58:12 +02:00
Nora Dimitrijević
895a8fcb0f
Swift: convert CleartextLogging test to .qlref
2025-06-24 14:58:08 +02:00
Nora Dimitrijević
7615ec7a24
Swift: convert PredicateInjection test to .qlref
2025-06-24 14:58:03 +02:00
Jeroen Ketema
f17076e212
Swift: Update expected test results
2025-05-26 16:41:05 +02:00
Jeroen Ketema
b4d2fb45ab
Swift: Fix type string representation
2025-05-26 16:22:20 +02:00
Paolo Tranquilli
2388dd06d4
Swift: add new TypeValueExpr to CFG
2025-05-14 11:16:44 +02:00
Jeroen Ketema
98384bf4c2
Swift: Support BuiltinFixedArrayType
2025-05-02 14:47:58 +02:00
Jeroen Ketema
c74fca929a
Swift: Support TypeValueExpr and IntegerType
2025-05-02 14:47:56 +02:00
Jeroen Ketema
97d2ed8b3b
Swift: Support UnsafeCastExpr
2025-05-02 14:47:55 +02:00
Jeroen Ketema
a74b38c0ec
Swift: Replace deprecated @_moveOnly in test by ~Copyable
2025-04-23 17:10:57 +02:00
Jeroen Ketema
59faf9fbdf
Swift: Update errors test
...
The representation of the errors seems to have changed somewhat in Swift 6.1.
2025-04-23 17:10:57 +02:00
Jeroen Ketema
10d86c9708
Swift: Disable parts of tests that crash with Swift 6.1
2025-04-23 17:10:56 +02:00
Jeroen Ketema
9a21b0dc5c
Swift: Update SuccessfullyExtractedLines for external code being extracted
2025-04-23 17:10:56 +02:00
Jeroen Ketema
e135f5ddf6
Swift: Update ObjectLiteralExpr test
...
The entities now have proper error types instead of missing types.
2025-04-23 17:10:56 +02:00
Jeroen Ketema
b6076c0481
Swift: Update test results for ParenType no longer being extracted
2025-04-23 17:10:55 +02:00
Jeroen Ketema
1b21e4c667
Swift: Update test results for IfConfigDecl no longer being extracted
2025-04-23 17:10:55 +02:00
Jeroen Ketema
7ee862a3af
Merge pull request #19347 from jketema/swift-files-2
...
Swift: Make file checking in tests more strict
2025-04-22 17:15:11 +02:00
Jeroen Ketema
adb58e304d
Swift: Make file checking in tests more strict
...
With Swift 6.1 the extractor will start to extract files outside of the test
directory. These files and their elements we do not want to see in our tests.
Test forgotten in https://github.com/github/codeql/pull/19344
2025-04-22 16:51:36 +02:00
Jeroen Ketema
ce5c48192e
Swift: Make file checking in tests more strict
...
With Swift 6.1 the extractor will start to extract files outside of the test
directory. These files and their elements we do not want to see in our tests.
2025-04-22 10:41:12 +02:00
Paolo Tranquilli
2910cb68ce
Swift: extract ExtracFunctionIsolationExpr
2025-04-14 10:35:21 +02:00
Anders Schack-Mulligen
e04075b0ec
Merge pull request #19177 from aschackmull/swift/ssa-useuse
...
Swift: Update SSA to reference the new use-use predicates.
2025-04-03 09:46:47 +02:00
Anders Schack-Mulligen
7afcd1bbec
Swift: Update test output.
2025-04-01 11:07:17 +02:00
Anders Schack-Mulligen
56c46d74f9
Java/Rust/Swift: Accept qltest changes.
2025-03-31 11:44:37 +02:00
Tom Hvitved
a8bb37c3c2
Swift: Update expected test output
2025-02-20 10:19:45 +01:00
Michael Nebel
aaf0cd5dee
Merge pull request #17968 from michaelnebel/java/movetestutils
...
Move test utilities to the query pack.
2024-12-16 13:41:30 +01:00
Michael Nebel
9ecacddf79
Swift: Update all test util paths to point to the new location.
2024-12-12 13:54:40 +01:00
Michael Nebel
ca66153a3b
Swift: Move test utilities into the query pack.
2024-12-12 13:54:38 +01:00
Paolo Tranquilli
a4f7981d93
Swift: accept test changes
2024-12-06 14:44:01 +01:00
Paolo Tranquilli
f81f30cc4d
Swift: accept test changes
2024-12-06 12:47:54 +01:00
Paolo Tranquilli
4ac602ccd7
Merge branch 'main' into redsun82/swift-6
2024-12-06 12:31:40 +01:00
Paolo Tranquilli
9da7e8a04f
Merge pull request #18142 from github/redsun82/swift-6-for-each-vars
...
Swift: extract variables as children of `ForEachStmt`
2024-12-04 11:08:35 +01:00
Jeroen Ketema
67052bf9e5
Swift: Update expected test results
2024-12-03 19:18:48 +01:00
Geoffrey White
1fc112e7a7
Swift: Fix for OptionSet.
2024-11-28 18:48:23 +00:00
Geoffrey White
e08eac03d8
Swift: Fix for Int.description.
2024-11-28 18:18:23 +00:00
Geoffrey White
1d43abfe4d
Swift: Model Collection.makeIterator().
2024-11-28 10:11:55 +00:00
Paolo Tranquilli
814218c7a8
Swift: extract variables as children of ForEachStmt
2024-11-28 11:03:46 +01:00
Geoffrey White
d1915c707d
Swift: Add a test revealing the issue in pure dataflow.
2024-11-26 11:24:42 +00:00
Geoffrey White
45858527e2
Swift: Add another test case.
2024-11-26 11:15:24 +00:00
Geoffrey White
6130679c34
Swift: Label the now missing cases for CWE-020 and dataflow.
2024-11-26 11:13:19 +00:00
Paolo Tranquilli
8bcc5f4bf8
Merge pull request #17989 from geoffw0/swift6models2
...
Swift: More model repairs for Swift 6
2024-11-18 11:52:14 +01:00
Geoffrey White
8245e6c2b9
Swift: Fix unwanted flows.
2024-11-14 17:51:47 +00:00
Geoffrey White
e589b1fcd0
Swift: Fix query barriers.
2024-11-14 17:37:43 +00:00
Geoffrey White
6aa43e001d
Swift: Effect on other tests.
2024-11-14 17:29:17 +00:00
Geoffrey White
c2c23c872b
Swift: Address some modelling issues for Swift 6.
2024-11-14 17:22:15 +00:00
Geoffrey White
570393fe2b
Swift: Additional test cases.
2024-11-14 17:17:00 +00:00
