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
Geoffrey White
f0dc4f5ec3
Swift: Convert the dataflow-taint-core-conversions test to labelled sources.
2024-11-14 16:34:16 +00:00
Paolo Tranquilli
afd4585561
Merge branch 'main' into redsun82/swift-6
2024-11-06 08:05:52 +01:00
Geoffrey White
954fbc44bf
Swift: Update prefix / suffix models for Swift 6.
2024-11-01 16:19:39 +00:00
Geoffrey White
be12649838
Swift: Update joined models for Swift 6.
2024-11-01 16:19:36 +00:00
Geoffrey White
6f0f73974a
Swift: Update dropFirst / dropLast / reversed models for Swift 6.
2024-11-01 16:19:34 +00:00
Paolo Tranquilli
1f356078ff
Swift: temporarily accept test changes
2024-10-31 15:57:31 +01:00
Tom Hvitved
cc94c42f87
Address review comments
2024-10-29 20:36:16 +01:00
Tom Hvitved
4561770db4
Swift: Post-processing query for inline test expectations
2024-10-29 13:35:34 +01:00
Tom Hvitved
6196fd2cc1
Swift: Update expected test output
2024-10-07 09:45:08 +02:00
Tom Hvitved
f287216060
Update expected test output
2024-09-24 14:21:38 +02:00
Tom Hvitved
16813240ae
Shared: Do not use @kind graph for CFG test output
2024-09-19 18:13:31 +02:00
Tom Hvitved
8c0d2e910c
Swift: Run code generator
2024-09-17 20:25:57 +02:00
Tom Hvitved
961b077954
Swift: Add change note
2024-09-16 19:27:31 +02:00
Paolo Tranquilli
37f3ea137b
Merge pull request #17474 from github/redsun82/swift-cfg-order-disambuigation
...
Swift: tentative fix to Cfg disambuigation
2024-09-16 16:54:26 +02:00
Tom Hvitved
4ab5a1a060
Swift: Run code generator
2024-09-16 13:40:02 +02:00
Tom Hvitved
5fc762d811
Swift: Add Impl suffix to all stub/implementation classes
...
```
find . -maxdepth 5 -type f -not -name "*Constructor.qll" -print | sed 's/.qll//g' | xargs -I '{}' mv '{}'.qll '{}'Impl.qll
```
2024-09-16 13:39:59 +02:00
Paolo Tranquilli
d74dd2161a
Swift: tentative fix to Cfg disambuigation
2024-09-16 09:14:09 +02:00
Tom Hvitved
7f8e6bf574
Merge pull request #16970 from hvitved/dataflow/local-big-step-stage
...
Data flow: Compute local big step relation as stage output
2024-08-28 12:28:16 +02:00
Tom Hvitved
c92c96fa78
Data flow: Compute local big step relation per stage
2024-08-26 09:15:27 +02:00
Asger F
8df7fbf6d6
Swift: update test output
...
The 'first' field is seen as a TaintInheritingContent, which means any read step for 'first' becomes a taint step too.
This type of taint step does not permit an implicit read before it, because it wasn't contributed by a configuration.
So there is no way for the taint to get out of the collection content before the taint step through '.first'.
The test previously passed because an implicit read at once of the earlier sinks could follow use-use flow down to the receiver of .first,
allowing it to escape the collection content.
2024-08-23 11:30:50 +02:00
Asger F
9703f67794
Test output updates that only affect nodes/edges
2024-08-23 11:03:26 +02:00
Geoffrey White
4c5c6c6968
Merge pull request #17148 from geoffw0/hardkey
...
Swift: Additional test cases for swift/hardcoded-key
2024-08-19 17:45:34 +01:00
Geoffrey White
446c992181
Swift: Exclude tel:, mailto: and similar URLs from the query.
2024-08-13 11:23:40 +01:00
Geoffrey White
345e1840f2
Swift: Add more test cases for swift/cleartext-transmission.
2024-08-13 09:28:23 +01:00
Geoffrey White
4225774a3a
Swift: Add test cases for swift/hardcoded-key.
2024-08-05 11:42:18 +01:00
