Geoffrey White
a4e9d38abb
Swift: Fix the test regression.
2023-03-22 16:44:29 +00:00
Geoffrey White
cbe5243c89
Swift: Accept test regressions. :(
2023-03-22 16:24:32 +00:00
Geoffrey White
6a2a351929
Merge pull request #12619 from geoffw0/fullname
...
Swift: Fix for TypeDecl.getFullName with extensions
2023-03-21 18:02:16 +00:00
Geoffrey White
91c324ea4f
Swift: Fix for getFullName.
2023-03-21 15:11:02 +00:00
Geoffrey White
29f7862466
Swift: Add a test for getFullName.
2023-03-21 15:10:22 +00:00
Paolo Tranquilli
aaea976cf2
Swift: remove labels from function type printing
2023-03-20 16:43:34 +01:00
Geoffrey White
1f8a165611
Swift: Add a couple of extra test cases.
2023-03-20 10:58:58 +00:00
Paolo Tranquilli
a131966066
Swift: make SuccessfullyExtractedFiles.ql more precise
...
This is done by adding a `isSuccessfullyExtracted` predicate that is
filled for primary files at the very end of the extractor invocation if
the frontend was performed successfully. If for example the extractor
crashes this will therefore not be filled.
The upgrade script is written so that `SuccessfullyExtractedFiles.ql`
on an upgraded script will give exactly the same results as before it.
2023-03-20 08:34:34 +01:00
Alex Denisov
7c15527300
Swift: add a query showing successfully extracted files
2023-03-17 11:27:03 +01:00
Geoffrey White
880f948763
Merge pull request #12560 from geoffw0/testcustominterp
...
Swift: Add taint test for custom string interpolation.
2023-03-16 17:44:37 +00:00
Geoffrey White
3a04e42ae0
Swift: Add taint test for string interpolation.
2023-03-16 17:04:46 +00:00
Geoffrey White
170fde5bc0
Swift: Add some more test cases.
2023-03-16 12:53:06 +00:00
Geoffrey White
a391c01d36
Swift: Fix result type of NominalType.getABaseType.
2023-03-14 17:36:30 +00:00
Geoffrey White
237669aab7
Merge branch 'main' into dbsinks2
2023-03-14 16:26:36 +00:00
Geoffrey White
bfbd3d95f9
Swift: Clean up the result message.
2023-03-14 16:03:55 +00:00
Geoffrey White
0d1be2294c
Merge branch 'main' into typealiastests
2023-03-13 09:38:54 +00:00
Geoffrey White
fbde174a89
Swift: Autoformat.
2023-03-10 19:02:54 +00:00
Geoffrey White
7ddd08fb1e
Swift: Extend an extractor test as well.
2023-03-10 18:35:03 +00:00
Geoffrey White
f6e7837cb8
Swift: Extend the PrintAST test as well.
2023-03-10 18:28:11 +00:00
Geoffrey White
0c900e4b8a
Swift: Add a test for aliased types.
2023-03-10 18:26:48 +00:00
Geoffrey White
ffa279e87b
Swift: Add additional taint steps into fields.
...
ed
2023-03-09 17:17:42 +00:00
Geoffrey White
da338c26ba
Swift: Add a few more test cases for sensitive data.
2023-03-09 11:39:22 +00:00
Robert Marsh
6bfa08c5cc
Merge branch 'main' into rdmarsh2/swift/constructor-flow
2023-03-08 16:40:11 +00:00
Robert Marsh
3bf3876c14
Swift: fix FPs with inout params in inits
2023-03-08 16:20:39 +00:00
Robert Marsh
94d80b0e87
Swift: accept LocalTaint test for constructor flow
2023-03-07 21:17:26 +00:00
Geoffrey White
f1905f21b2
Swift: Remove special case from swift/unsafe-js-eval.
2023-03-06 21:02:42 +00:00
Geoffrey White
4380495eed
Swift: Model Sequence.withContiguousSrtorageIfAvailable.
2023-03-06 20:59:17 +00:00
Robert Marsh
686f7ccd5a
Swift: add flow for self out of constructors
2023-03-06 20:46:36 +00:00
Robert Marsh
9731989421
Swift: add tests for flow through constructors
2023-03-06 20:39:58 +00:00
Geoffrey White
2ed140c696
Swift: Update the pointertypes test.
2023-03-06 17:14:14 +00:00
Geoffrey White
61340c4b20
Swift: Permit data flow from generic arguments, rather than just pointers.
2023-03-06 16:34:12 +00:00
Geoffrey White
1e5b904514
Swift: Add test cases for mutating pointers inside containers.
2023-03-06 16:17:39 +00:00
Geoffrey White
56b6441ef5
Merge pull request #12391 from geoffw0/ptrout
...
Swift: Permit data flow out through pointer arguments
2023-03-06 13:37:22 +00:00
Geoffrey White
6f120a66d0
Merge pull request #12368 from geoffw0/taintarith3
...
Swift: Fill some gaps in arithmetic / bitwise operations modelling
2023-03-03 18:20:54 +00:00
Geoffrey White
c29dcefcf2
Swift: Fix .expected file. Locations had changed after the formatting fix.
2023-03-03 17:24:07 +00:00
Geoffrey White
395bf675fe
Swift: Make the test work on Linux.
2023-03-03 17:14:57 +00:00
Geoffrey White
2d889304bb
Swift: Some cases in the SqlInjection test are fixed by this.
2023-03-03 16:49:13 +00:00
Geoffrey White
b2bcb2d378
Swift: Fix formatting.
2023-03-03 16:32:21 +00:00
Geoffrey White
6e3040987a
Swift: Autoformat.
2023-03-03 16:24:28 +00:00
Geoffrey White
234f17b578
Swift: Use PointerType in data flow's 'modifiable' predicate.
2023-03-03 16:23:49 +00:00
Geoffrey White
3249cee1c9
Swift: Add an overall PointerType.
2023-03-03 16:23:46 +00:00
Geoffrey White
589e0af20a
Swift: Test for pointer types.
2023-03-03 16:23:29 +00:00
Geoffrey White
9f86bcb1b8
Swift: Proof of concept fix.
2023-03-03 15:04:47 +00:00
Geoffrey White
15227d3c09
Swift: Add tests where a user-defined (non-modelled) function taints the pointee of a pointer argument.
2023-03-03 15:00:22 +00:00
Geoffrey White
27ec36298f
Swift: Understand binary pointwise operations.
2023-03-02 12:42:34 +00:00
Geoffrey White
ec2c58b416
Swift: Understand overflow binary bitwise operations.
2023-03-02 12:11:25 +00:00
Geoffrey White
1206b73d87
Swift: Understand overflow binary arithmetic operations.
2023-03-02 12:11:15 +00:00
Geoffrey White
53f52df809
Swift: Add taint test cases for overflow, bitwise and pointwise arithmetic operations.
2023-03-02 11:41:31 +00:00
Geoffrey White
c42add2191
Swift: Add test cases for overflow and pointwise binary arithmetic operations.
2023-03-02 11:28:59 +00:00
Geoffrey White
730532f96a
Swift: Add some (limited) test coverage for NSString <-> Data conversion.
2023-03-02 10:33:57 +00:00
