Paolo Tranquilli
e2d7a6910c
Swift: generate raw helpers in synthesized stubs
...
This will add helpers to get the underlying raw entities or constructor
arguments on stubs for synthesized classes.
For example a schema like:
```
@synth.from_class(A)
class B:
pass
@synth.on_arguments(base=A, index=int)
class C:
pass
```
will generate
```
cached
private Raw::A getUnderlyingEntity() { this = Synth::TB(result) }
```
in the `B.qll` stub and
```
cached
private Raw::A getUnderlyingBase() { this = Synth::TC(result, _) }
cached
private int getUnderlyingIndex() { this = Synth::TC(_, result) }
```
in the `C.qll` stub.
As stubs these can be freely changed later on.
2023-02-16 10:49:21 +01:00
Geoffrey White
00302dc05f
Swift: Model NSObject.
2023-02-15 22:12:39 +00:00
Geoffrey White
7e8645a1f6
Swift: Model NSMutableString.
2023-02-15 21:50:05 +00:00
Geoffrey White
d04ed14b8c
fix model -2
2023-02-15 21:18:50 +00:00
Geoffrey White
75dd95f458
Swift: Correct one of the tests.
2023-02-15 18:37:51 +00:00
Geoffrey White
99caafb9b9
Swift: Model NSString.
2023-02-15 18:37:51 +00:00
Geoffrey White
d763c5a3a0
Swift: Update LocalTaint.expected for the changes so far.
2023-02-15 11:42:42 +00:00
Geoffrey White
2882286c3f
Swift: Test taint sources for NSString.
2023-02-15 11:42:42 +00:00
Geoffrey White
9f734076b7
Swift: Test taint through NSString member variables.
2023-02-15 11:04:16 +00:00
Geoffrey White
452ca4ef0f
Swift: Test taint through NSMutableString.
2023-02-15 11:04:01 +00:00
Geoffrey White
16ec29e3df
Swift: Test taint throguh some NSObject methods.
2023-02-15 11:03:45 +00:00
Geoffrey White
85a0fd9b30
Swift: Test taint through NSString.
2023-02-15 11:03:06 +00:00
Paolo Tranquilli
81de500301
Swift: fix import not working in all python versions
2023-02-14 10:40:05 +01:00
Paolo Tranquilli
8e079320f3
Swift: some restructuring of codegen
...
Loading of the schema and dbscheme has been moved to a separate
`loaders` package for better separation of concerns.
2023-02-14 09:53:02 +01:00
Anders Schack-Mulligen
e877b161d8
Merge pull request #12124 from hvitved/dataflow/stage1-dispatch
...
Data flow: Call context virtual dispatch pruning in stage 1
2023-02-13 13:13:43 +01:00
Paolo Tranquilli
f07c598a22
Merge pull request #12164 from github/redsun82/swift-codegen-outside-bazel
...
Swift: make `codegen` run also outside `bazel`
2023-02-13 10:32:20 +01:00
Geoffrey White
124e4ddd4f
Merge pull request #12150 from geoffw0/cfg2
...
Swift: control flow for #available
2023-02-13 09:17:06 +00:00
Paolo Tranquilli
483a87abe9
Swift: make codegen run also outside bazel
2023-02-13 09:39:31 +01:00
Tom Hvitved
f7a5a33474
Address review comment
2023-02-13 09:01:15 +01:00
Geoffrey White
ad85b37585
Swift: Tidy up indenting.
2023-02-10 18:06:56 +00:00
Geoffrey White
d0efbbf5b8
Swift: More path injection models.
2023-02-10 18:02:50 +00:00
Geoffrey White
82f09b8511
Swift: More path injection test cases.
2023-02-10 17:55:06 +00:00
Geoffrey White
8624098318
Swift: sync identical files.
2023-02-10 15:24:57 +00:00
Geoffrey White
eda331ebc2
Swift: Clean up.
2023-02-10 15:11:31 +00:00
Geoffrey White
11f022c69f
Swift: Add some more qldoc.
2023-02-10 15:02:05 +00:00
Geoffrey White
15b8aa1979
Swift: Effect on other tests :)
2023-02-10 14:16:48 +00:00
Geoffrey White
6cb9198ee2
Swift: Control flow through #available.
2023-02-10 13:32:33 +00:00
Geoffrey White
38f4f65fc0
Swift: Add CFG test cases for #available.
2023-02-10 09:29:08 +00:00
Paolo Tranquilli
fc7c72db77
Swift: tweaks to the schema doc documentation
2023-02-10 08:58:07 +01:00
Paolo Tranquilli
adf47b9a9c
Merge branch 'main' into redsun82/swift-doc-for-schema-doc
2023-02-10 08:49:31 +01:00
Geoffrey White
224bc9381a
Swift: Fix ConditionElement.toString().
2023-02-09 21:15:36 +00:00
Paolo Tranquilli
7fa85b34ea
Swift: remove query predicates in upgrade/downgrade scripts
2023-02-09 17:24:27 +01:00
Paolo Tranquilli
1e279125dc
Swift: add documentation for generated documentation
2023-02-09 12:52:16 +01:00
Geoffrey White
0f6b05dedf
Merge pull request #12126 from geoffw0/append
...
Swift: Move some models into collections
2023-02-09 09:33:08 +00:00
Geoffrey White
60e7d6b540
Swift: Move insert to RangeReplaceableCollection.
2023-02-07 17:08:23 +00:00
Geoffrey White
7cb665cde1
Swift: Move popLast to BidirectionalCollection and add popFirst.
2023-02-07 16:56:00 +00:00
Geoffrey White
d17c7bb0e8
Swift: Move first(_:), last(_:) into Sequence, BidirectionalCollection.
2023-02-07 16:47:02 +00:00
Geoffrey White
3586926157
Swift: Move first, last into Collection, BidirectionalCollection.
2023-02-07 16:36:06 +00:00
Geoffrey White
b69d8625e5
Swift: Move append methods into RangeReplaceableCollection.
2023-02-07 16:07:35 +00:00
Geoffrey White
f9f08fff83
Swift: Use RangeReplaceableCollection in the test.
2023-02-07 16:03:51 +00:00
Tom Hvitved
8e8897b08b
Data flow: Sync files
2023-02-07 15:15:04 +01:00
Alex Denisov
3448cde048
Swift: add database migration
2023-02-07 14:31:19 +01:00
Alex Denisov
712c25e6f4
Swift: extract availability info
2023-02-07 14:26:39 +01:00
Paolo Tranquilli
c9397a5abf
Merge pull request #10950 from github/redsun82/swift-regex
...
Swift: extract `RegexLiteralExpr`
2023-02-07 11:30:43 +01:00
Paolo Tranquilli
a3b443c310
Swift: add upgrade/downgrade scripts for regex extraction
2023-02-07 10:21:37 +01:00
Paolo Tranquilli
ad04a408c7
Swift: add doc to RegexLiteralExpression
2023-02-07 10:21:37 +01:00
Paolo Tranquilli
50889b8fa1
Swift: move regex test to integration tests
2023-02-07 10:21:37 +01:00
Paolo Tranquilli
d201c1eadd
Swift: support linux-only tests
2023-02-07 09:41:06 +01:00
Paolo Tranquilli
a244b825df
Merge branch 'main' into redsun82/swift-regex
2023-02-07 09:37:09 +01:00
Geoffrey White
996536b08e
Swift: Remove a no-longer-needed special case from swift/unsafe-js-eval.
2023-02-06 17:35:21 +00:00
