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 |
|
Nora Dimitrijević
|
052a008926
|
Swift: Content-based dataflow through case let
|
2023-03-27 23:01:24 +02:00 |
|
Nora Dimitrijević
|
c2e9ffab63
|
Swift: add EnumElementExpr + Pattern.getMatchingExpr()
|
2023-03-27 23:01:24 +02:00 |
|
Nora Dimitrijević
|
9e8867aa96
|
Swift: update enum dataflow test with more cases
|
2023-03-27 23:01:23 +02:00 |
|
Geoffrey White
|
3a04e42ae0
|
Swift: Add taint test for string interpolation.
|
2023-03-16 17:04:46 +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 |
|
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
|
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
|
b6db0de437
|
Swift: Add inline expectation results.
|
2023-03-01 09:26:30 +00:00 |
|
Geoffrey White
|
228c0e221d
|
Merge branch 'main' into nsstring
|
2023-03-01 09:12:36 +00:00 |
|
Geoffrey White
|
36a33bc718
|
Swift: Delete file that was resurrected by the merge.
|
2023-02-27 17:33:21 +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
|
c462e010d1
|
Merge pull request #12266 from geoffw0/taintplusequals
Swift: Taint through arithmetic
|
2023-02-21 09:32:53 +00:00 |
|
Geoffrey White
|
9b117fefd7
|
Swift: Generalize the arithmetic we allow taint through.
|
2023-02-20 18:18:15 +00:00 |
|
Geoffrey White
|
a5bb336647
|
Merge pull request #12265 from geoffw0/taintunaryplus
Swift: Add unary +
|
2023-02-20 18:04:37 +00:00 |
|
Geoffrey White
|
87c0b6195f
|
Swift: Add taint tests for various arithmetic operators.
|
2023-02-20 17:22:51 +00:00 |
|
Geoffrey White
|
3038543242
|
Swift: Add UnaryPlusExpr.
|
2023-02-20 17:15:20 +00:00 |
|
Geoffrey White
|
e19e28fbb9
|
Merge pull request #12263 from geoffw0/flowsourceinline
Swift: Convert the flow sources test to inline expectations.
|
2023-02-20 16:13:01 +00:00 |
|
Geoffrey White
|
31967cc032
|
Swift: Add a couple of dataflow test cases for operators that behave as an identity function.
|
2023-02-20 15:42:07 +00:00 |
|
Geoffrey White
|
690b5debf4
|
Swift: Remove the old test.
|
2023-02-20 13:58:53 +00:00 |
|
Geoffrey White
|
dd7f54677b
|
Swift: Add inline expectation tags.
|
2023-02-20 13:57:24 +00:00 |
|
Geoffrey White
|
b66ed57e17
|
Swift: Fix a mistake in FlowSources.qll.
|
2023-02-20 11:11:46 +00:00 |
|
Geoffrey White
|
d9f2d348f4
|
Swift: Add an inline expectations test for flow sources.
|
2023-02-20 11:03:10 +00:00 |
|
Tom Hvitved
|
658cc33bb8
|
Merge pull request #12212 from hvitved/util/inline-expect-test-use-end-line
Util: Use end line instead of start line for actual results
|
2023-02-20 11:41:02 +01:00 |
|
Geoffrey White
|
6cec8ece3f
|
Swift: Split off FlowConfig.qll.
|
2023-02-20 10:27:40 +00:00 |
|
Geoffrey White
|
343ddede5a
|
Merge branch 'main' into nsstring
|
2023-02-20 09:15:58 +00:00 |
|
Geoffrey White
|
7a9bbb1414
|
Swift: Model FileManager sources.
|
2023-02-17 20:04:27 +00:00 |
|
Geoffrey White
|
5d125572ec
|
Swift: Test for FileManager taint sources.
|
2023-02-17 18:14:16 +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 |
|