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
Geoffrey White
0f7598786c
Swift: Test spacing.
2024-08-05 11:23:38 +01:00
Geoffrey White
0525e9c6ee
Merge pull request #17128 from geoffw0/swiftcmdline
...
Swift: Disable some FileManager models
2024-08-02 13:59:59 +01:00
Geoffrey White
b87d832fcb
Merge pull request #17129 from geoffw0/swiftconstsalt
...
Swift: Fixes for swift/constant-salt
2024-08-02 13:57:05 +01:00
Geoffrey White
49335e5b63
Merge pull request #17126 from geoffw0/swiftcleartext
...
Swift: Improve documentation and examples that use encryption
2024-08-02 13:55:00 +01:00
Geoffrey White
aae19ab9f5
Swift: Remove quotes from the message.
2024-08-02 12:19:14 +01:00
Geoffrey White
39411b0780
Swift: Add some test of taint through 'as'.
2024-08-01 17:33:35 +01:00
Geoffrey White
3f26250967
Swift: Remove the sources instead (more general solution).
2024-08-01 16:14:30 +01:00
Geoffrey White
2b7b1c624d
Swift: Use a barrier as a simple fix.
2024-08-01 15:58:43 +01:00
Geoffrey White
7bf61d1d7e
Swift: Add test cases.
2024-08-01 15:49:33 +01:00
Geoffrey White
683ca2d578
Swift: Test spacing.
2024-08-01 15:32:45 +01:00
Geoffrey White
61eb5cd55c
Swift: Put a barrier on the qualifiers as well.
2024-08-01 11:49:10 +01:00
Geoffrey White
0c3e8ced4b
Swift: Make append methods and string interpolation barriers for swift/constant-salt.
2024-08-01 11:49:09 +01:00
Geoffrey White
2543f3ecfb
Swift: Make + a barrier for swift/constant-salt.
2024-08-01 11:49:08 +01:00
Geoffrey White
c8438c38f2
Swift: Tests for string appending with swift/constant-salt.
2024-08-01 11:49:07 +01:00
Geoffrey White
69c18f9cd2
Swift: Use in swift/constant-salt so that the source node is clickable + visible to autofix.
2024-08-01 11:49:06 +01:00
Geoffrey White
3d6a889d24
Swift: Make use of CBC blockmode in examples and tests mode accurate.
2024-07-30 16:59:11 +01:00
Geoffrey White
245f43dd58
Merge pull request #17064 from geoffw0/swiftbobs
...
Swift: Minor fixes
2024-07-25 13:05:19 +01:00
Geoffrey White
ecefa3e383
Swift: Fix a corrupted model.
2024-07-24 18:16:24 +01:00
Geoffrey White
68a21663d9
Merge branch 'main' into swiftssn
2024-07-19 13:49:40 +01:00
Geoffrey White
2f33b9422b
Merge branch 'main' into salvage
2024-06-10 18:31:46 +01:00
Geoffrey White
83860acdde
Swift: Test BuiltinLiteralExpr.
2024-06-10 18:20:25 +01:00
Geoffrey White
f2b1e09650
Swift: Add some conversion test cases.
2024-06-10 17:25:25 +01:00
Geoffrey White
06dea2d27f
Swift: Use sensitive private info regex from the shared library, now that it has that.
2024-05-23 10:07:42 +01:00
Geoffrey White
0d4cd3e103
Swift: Add more sensitive data test cases.
2024-05-23 10:03:27 +01:00
Anders Schack-Mulligen
c2ec1bf561
Swift: Accept qltest .expected file changes.
2024-05-22 10:08:56 +02:00
Rasmus Wriedt Larsen
2451a6d3f6
Accept .expected changes
2024-05-21 14:47:42 +02:00
Owen Mansel-Chan
aab43afd81
Swift: accept test changes
2024-05-07 15:36:48 +01:00
Geoffrey White
fc7fef3dd8
Swift: Add dataflow tests for dictionaries.
2024-04-15 18:50:41 +01:00
Anders Schack-Mulligen
b87b8329a0
Dataflow: Use default fieldFlowBranchLimit in qltests.
2024-04-15 15:13:03 +02:00
Paolo Tranquilli
70e72aadd5
Swift: accept new test results
2024-04-12 14:57:59 +02:00
Anders Schack-Mulligen
b7ee5597a0
Swift: Update expected output (interesting).
2024-04-12 09:20:40 +02:00
Paolo Tranquilli
e9957aa4a6
Swift: make result a child in ThenStmt
2024-03-27 17:53:36 +01:00
Paolo Tranquilli
0243d9f2b9
Swift: accept explicit any in existential type name
2024-03-27 13:49:15 +01:00
