Paolo Tranquilli
300db4f236
Merge pull request #12214 from github/redsun82/swift-codegen
...
Swift: fix weird module naming in codegen
2023-02-16 17:24:03 +01:00
Geoffrey White
cb11524dde
Merge pull request #12154 from geoffw0/pathinjectionext
...
Swift: More path injection sinks
2023-02-16 16:00:31 +00:00
Paolo Tranquilli
f50382ba70
Swift: fix weird module naming in codegen
2023-02-16 14:53:31 +01:00
Paolo Tranquilli
3ec2a3c711
Swift: fix subtle codegen bug on missing files
...
While the internal registry was being cleaned up from files removed by
codegen itself, it was not dropping files removed outside of codegen.
Because of this files removed by the user were not being regenerated
again if no change was staged to them, unless `--force` was provided.
This also fixes some such "ghost" entries in the registry and some
missing generated files.
2023-02-16 11:46:51 +01:00
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