Nora Dimitrijević
1c64bf4bbc
Swift: remove superfluous newline
2022-12-19 18:00:20 -05:00
Nora Dimitrijević
55c6e565f7
Swift: PrintAst.qll nodes() ordering fix not needed
...
No-double-parents should be sufficient for a stable top-level ordering.
2022-12-19 17:52:20 -05:00
Nora Dimitrijević
8b0da01e0d
Swift: allow self./super. sinks in StaticInitializationVector
...
Assumption: the extra path is not an issue in practice as the body of
the cryptographic library's init methods are not normally extracted,
only the stubs in this test are.
2022-12-19 17:39:44 -05:00
Nora Dimitrijević
3da54ebc61
Swift: give a clearer name to {Self,Super}RefExpr.getMethodDecl
2022-12-19 17:33:13 -05:00
Nora Dimitrijević
56a72d7c37
Swift: silence QL-for-QL "Redundant override" FP
2022-12-19 16:45:31 -05:00
turbo
1e5426fca2
Create security-experimental suite helper and all language suite implementations
2022-12-18 15:44:08 +01:00
Jami
ff652f7dee
Merge branch 'main' into jcogs33/model-top-jdk-apis
2022-12-16 15:32:50 -05:00
Geoffrey White
640f894b00
Merge branch 'main' into format
2022-12-16 11:42:03 +00:00
Tony Torralba
46ea067449
Add bidirectional import in ExternalFlow.qll
2022-12-16 09:59:48 +01:00
Tom Hvitved
e45edcc159
Merge pull request #11674 from hvitved/dataflow/param-context
...
Data flow: Track callable in flow-through pruning
2022-12-16 09:25:15 +01:00
Jami Cogswell
f01ee9e4c2
Java: remove PR-merging comment
2022-12-15 22:56:15 -05:00
Jami
fd63348549
Merge pull request #11585 from jcogs33/jcogs33/mad-metrics-query
...
Java: add MaD metrics query
2022-12-15 19:26:51 -05:00
Nora Dimitrijević
938f724602
Swift: fix db upgrade/downgrade script after pull
2022-12-15 16:37:52 -05:00
Mathias Vorreiter Pedersen
801f4bc8a3
Merge pull request #11715 from geoffw0/jsevalcleanup
2022-12-15 17:35:49 +00:00
Nora Dimitrijević
ea6c69dd34
Swift: fix test with different linux/macos results
...
`methodlookup.swift` has one more call to `Builtin.zeroInitializer()`
in macOS than it does in Linux.
2022-12-15 11:48:43 -05:00
Nora Dimitrijević
893ec33da0
Swift: update .expected for integration tests
2022-12-15 11:28:02 -05:00
Geoffrey White
9481673c07
Swift: Remove temp workaround.
2022-12-15 16:08:51 +00:00
Nora Dimitrijević
60727b1e5e
Swift: Fix Builtin(Types) test extraction failure
2022-12-15 10:47:10 -05:00
Geoffrey White
1f7d96a74a
Merge branch 'main' into format
2022-12-15 15:17:54 +00:00
Tom Hvitved
f8571dd0b6
Data flow: Work around functionality-induced misoptimization
2022-12-15 15:29:14 +01:00
Tom Hvitved
6eda042229
Data flow: Sync files
2022-12-15 15:29:13 +01:00
Paolo Tranquilli
7f505d8715
Swift: do not filter frontend actions
2022-12-15 14:39:43 +01:00
Geoffrey White
8e61c78ce6
Swift: Fix RemoteFlowSource performance issue.
2022-12-15 12:36:32 +00:00
Paolo Tranquilli
208388e04d
Swift: hard code libc.dylib path on macOS
...
Also, handle the corner case where loading libc fails.
2022-12-15 13:30:23 +01:00
Tony Torralba
6837af97bc
Apply suggestions from code review
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2022-12-15 12:35:54 +01:00
Tony Torralba
11c03fb8c9
Add 'good' test cases
2022-12-15 12:35:47 +01:00
Paolo Tranquilli
3084eda28a
Swift: add swiftmodule hash map testing to frontend_invocations
2022-12-15 10:33:47 +01:00
Paolo Tranquilli
e42ae09e1c
Swift: fix interaction between bash wrapper and open redirection on macOS
2022-12-15 09:50:31 +01:00
Jami Cogswell
46b8fbc4c9
Java: update remaining models, resolve merge conflict
2022-12-15 00:33:06 -05:00
Nora Dimitrijević
7ea0eada11
Swift: add missing Builtin symbols
2022-12-14 20:03:41 -05:00
Nora Dimitrijević
2d288906a4
Swift: fix db downgrade script
2022-12-14 17:27:11 -05:00
Nora Dimitrijević
e16b23afc1
Swift: db upgrade/downgrade script
2022-12-14 15:56:05 -05:00
Jami
359e49044f
Merge branch 'main' into jcogs33/mad-metrics-query
2022-12-14 15:33:29 -05:00
Nora Dimitrijević
8a3ef31a2c
Swift: silence QL-for-QL redundant import warning
2022-12-14 15:22:39 -05:00
Nora Dimitrijević
5faa44389e
Swift: Basic acceptance of UnsafeJsEval test
...
TODO: Fix remaining problem in a separate PR:
- path found to one async `@MainActor` evaluateJavaScript
call, but not others. Investigate why.
- Remove duplicate paths and those with unnecessary [summary] nodes.
2022-12-14 15:02:15 -05:00
Nora Dimitrijević
95d4c304da
Swift: Fix .expected tests
...
Only UnsafeJsEval remains.
2022-12-14 15:02:15 -05:00
Nora Dimitrijević
6269e6b24d
Swift: move getName to Callable (generated)
...
Now that getStaticTarget returns a Callable.
2022-12-14 14:30:33 -05:00
Nora Dimitrijević
535daf39b7
Swift: move getName to Callable (hand-written)
...
Now that getStaticTarget returns a Callable.
2022-12-14 14:29:13 -05:00
Nora Dimitrijević
89cd082f0a
Swift: {Method,Initializer}CallExpr + SelfRefExpr
...
Adds a bit of symmetry in the API.
Also, fix a couple of tests that were using the old types.
2022-12-14 14:28:01 -05:00
Nora Dimitrijević
5f03099000
Swift: clarify DotSyntaxBaseIgnoredExpr
...
- Add docstring with implementation note.
- Avoid `concat` aggregate in toString().
Still, this class should really be cleaned up in the following ways:
- Rename to a sane name at the schema level
- Have subtypes that change the return type of getSubExpr to reflect
the structure of the desugared closure. E.g. one for methods,
one for fields.
2022-12-14 14:28:00 -05:00
Nora Dimitrijević
16a119248d
Swift: remove toString() = "call to call to ..."
2022-12-14 14:28:00 -05:00
Nora Dimitrijević
91f35a5d53
Swift: isStaticOrClassMethod + isInstanceMethod
...
Still, we should really be extracting these attributes.
2022-12-14 14:28:00 -05:00
Nora Dimitrijević
6a0b020573
Swift: move methodlookup test to library-tests
2022-12-14 14:28:00 -05:00
Nora Dimitrijević
15d5674d12
Swift: update .expected files based on last commit
2022-12-14 14:28:00 -05:00
Nora Dimitrijević
a620658a66
Swift: fix PrintAst order, double parents, orphan decl refs
...
The main problem is that a lot of the old DotSyntaxApplyExpr->MethodRefExpr
synth-constructor hacks were not fully generalized to SelfApplyExpr
and OtherConstructorDeclRefExpr.
Also:
- Gave a index-in-parent-based ordering to PrintAst nodes(), to stabilize it more.
- Use a slightly more general SelfApplyExpr->Decl conversion
2022-12-14 14:28:00 -05:00
Nora Dimitrijević
b5bb814112
Swift: fix toString of some invisible DeclRefExprs
2022-12-14 14:28:00 -05:00
Nora Dimitrijević
f6d5e8db5f
Swift: update test .expected files
2022-12-14 14:27:59 -05:00
Nora Dimitrijević
799b4c932f
Swift: DotSyntaxBaseIgnored calls now have static target
...
This relies on getStaticTarget() returning a Callable... Not sure how I feel about that, since often we want to say
```
exists(Call c |
c.getStaticTarget().hasName("...")
)
```
and Callable has a sparse interface. Maybe some AbstractFunctionDecl
methods can be moved to Callable.
2022-12-14 14:24:36 -05:00
Nora Dimitrijević
89bfad0420
Swift: fix MethodLookupExpr.getMethod()
...
By adding a couple missing cases.
2022-12-14 14:24:36 -05:00
Nora Dimitrijević
c1e746a980
Swift: add InitializerLookupExpr < MethodLookupExpr
2022-12-14 14:24:36 -05:00
