Geoffrey White
|
8a314dd2cf
|
Merge branch 'main' into contig
|
2023-07-21 10:56:46 +01:00 |
|
Geoffrey White
|
5ef097fd66
|
Swift: Update consistency check .expected to exactly match CI.
|
2023-07-11 09:54:39 +01:00 |
|
Geoffrey White
|
ce9c367e90
|
Swift: Add a .expected file for the consistency test failure.
|
2023-07-10 13:30:26 +01:00 |
|
Geoffrey White
|
dbb0333f97
|
Swift: Add a test case confirming a model works outside of closures.
|
2023-07-06 13:59:49 +01:00 |
|
Geoffrey White
|
507cf116e2
|
Swift: Add a test case for return values from closures.
|
2023-07-06 13:27:13 +01:00 |
|
Geoffrey White
|
8875487109
|
Swift: Expand the URL taint models.
|
2023-07-06 13:27:13 +01:00 |
|
Geoffrey White
|
45d32c3933
|
Swift: I'm not convinced these SPURIOUS tags are true and useful.
|
2023-07-05 17:50:48 +01:00 |
|
Geoffrey White
|
aeb5199cd9
|
Swift: Expand the URL taint flow test.
|
2023-07-05 16:36:35 +01:00 |
|
Alex Denisov
|
ea5eda0f22
|
Swift: adjust test expectations
|
2023-06-27 17:21:56 +02:00 |
|
Paolo Tranquilli
|
a6e21dac8f
|
Merge pull request #13284 from github/redsun82/swift-remove-property-wrapper-inconsistencies
Swift: remove some AST and CFG inconsistencies
|
2023-05-26 12:22:56 +02:00 |
|
Mathias Vorreiter Pedersen
|
7361ad977a
|
Merge pull request #13291 from geoffw0/correction
Swift: Promote some Data models to DataProtocol
|
2023-05-25 11:28:42 -07:00 |
|
Geoffrey White
|
51321a218b
|
Swift: Correct models in Data.qll.
|
2023-05-25 15:55:45 +01:00 |
|
Geoffrey White
|
5dfb07ce37
|
Swift: Test DataProtocol.
|
2023-05-25 15:51:21 +01:00 |
|
Paolo Tranquilli
|
7b76aa34bd
|
Swift: fix CFG inconsistency on TapExpr
|
2023-05-25 13:05:21 +02:00 |
|
Paolo Tranquilli
|
63fb0581c2
|
Swift: accept inconsistencies for now
|
2023-05-24 20:09:46 +02:00 |
|
Jeroen Ketema
|
3a3d9bc505
|
Swift: Rewrite inline expectation tests to use the parameterized module
|
2023-05-24 11:38:22 +02:00 |
|
Geoffrey White
|
6dfad79972
|
Swift: Model FilePath.
|
2023-05-18 18:56:08 +01:00 |
|
Geoffrey White
|
371bcc55fa
|
Swift: Consolidate and extend tests of taint flow through FilePath.
|
2023-05-18 18:01:38 +01:00 |
|
Anders Schack-Mulligen
|
6b049cb37a
|
Swift: Update expected output.
|
2023-04-26 13:15:39 +02:00 |
|
Geoffrey White
|
fa23d9c1e4
|
Swift: Clean up and autoformat.
|
2023-04-05 15:18:40 +01:00 |
|
Geoffrey White
|
501848bd46
|
Swift: Convert dataflow / taint tests to DataFlow::ConfigSig.
|
2023-04-05 15:07:02 +01:00 |
|
Nora Dimitrijević
|
03122d76ce
|
Swift: fix a bunch of MISSING dataflow test cases
Optional content flow through constructors remains.
|
2023-03-27 23:01:25 +02:00 |
|
Geoffrey White
|
3a04e42ae0
|
Swift: Add taint test for string interpolation.
|
2023-03-16 17:04:46 +00:00 |
|
Geoffrey White
|
4380495eed
|
Swift: Model Sequence.withContiguousSrtorageIfAvailable.
|
2023-03-06 20:59:17 +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
|
234f17b578
|
Swift: Use PointerType in data flow's 'modifiable' predicate.
|
2023-03-03 16:23:49 +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
|
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
|
730532f96a
|
Swift: Add some (limited) test coverage for NSString <-> Data conversion.
|
2023-03-02 10:33:57 +00:00 |
|
Geoffrey White
|
1332309f59
|
Swift: Add some (limited) test coverage for String <-> NSString conversions.
|
2023-03-02 10:33:57 +00:00 |
|
Geoffrey White
|
8e069b7686
|
Swift: Split the taint flow test.
|
2023-03-01 20:45:46 +00:00 |
|
Geoffrey White
|
f8079056ec
|
Swift: Fix test on Linux.
|
2023-03-01 15:47:30 +00:00 |
|
Geoffrey White
|
228c0e221d
|
Merge branch 'main' into nsstring
|
2023-03-01 09:12:36 +00:00 |
|
Geoffrey White
|
296093ded6
|
Merge branch 'main' into nsstring
|
2023-02-27 17:26:57 +00:00 |
|
Geoffrey White
|
1a7e7481b2
|
Swift: Add flow thtaint flow through assignments other than =.
|
2023-02-23 16:25:32 +00:00 |
|
Geoffrey White
|
9b117fefd7
|
Swift: Generalize the arithmetic we allow taint through.
|
2023-02-20 18:18:15 +00:00 |
|
Geoffrey White
|
87c0b6195f
|
Swift: Add taint tests for various arithmetic operators.
|
2023-02-20 17:22:51 +00:00 |
|
Tom Hvitved
|
37fc8f5039
|
Swift: Update test expectations
|
2023-02-17 13:24:28 +01:00 |
|
Geoffrey White
|
417d175ff2
|
Merge branch 'main' into nsstring
|
2023-02-17 11:32:40 +00:00 |
|
Geoffrey White
|
9cd9627778
|
Swift: Fix identical rows.
|
2023-02-17 10:00:06 +00:00 |
|
Geoffrey White
|
981f232ea9
|
Swift: Additional test cases.
|
2023-02-17 09:49:02 +00:00 |
|
Geoffrey White
|
a894fc6ce8
|
Swift: Fix mistakes in String.qll models.
|
2023-02-16 18:24:36 +00:00 |
|
Geoffrey White
|
f64cb2983a
|
Swift: Add tests for a few models we didn't cover.
|
2023-02-16 18:15:17 +00:00 |
|
Geoffrey White
|
00302dc05f
|
Swift: Model NSObject.
|
2023-02-15 22:12:39 +00:00 |
|