Geoffrey White
e05bb7fcee
Merge branch 'main' into format
2023-01-03 15:14:55 +00:00
Tony Torralba
07d99bd643
Add path injection sinks
2022-12-23 17:16:06 +01:00
Tony Torralba
4215a89bc8
Add cleartext storage database sinks
2022-12-23 17:15:59 +01:00
Tony Torralba
ac39aeb6b6
Add SQLi sinks
2022-12-23 17:03:31 +01:00
Mathias Vorreiter Pedersen
b330b628e3
Merge pull request #11595 from d10c/swift/extract-mainactor
...
Swift: MethodRefExpr -> MethodLookupExpr
2022-12-22 10:22:33 +00:00
erik-krogh
b3dd50bc36
inline Location into the shared implementation of InlineExpectationsTest
2022-12-22 11:09:43 +01:00
Rasmus Lerchedahl Petersen
08e9d3391f
swift: use shared inline tests
...
- add util shared pack to swift
- remove from identical-files
2022-12-22 10:20:07 +01:00
Arthur Baars
7111d950c1
Swift: add AlertSuppression.ql
2022-12-21 13:15:26 +01:00
Nora Dimitrijević
f3ebb6e03b
Swift: MethodLookupExpr.getMethodRef() [codegen'd]
...
This refactors SelfApplyExpr.getFunction() as MethodLookupExpr().getMethodRef().
This is simpler, because we are not hiding DeclRefExprs or reinventing hidden AST resolution.
2022-12-20 23:09:02 -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ć
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
Geoffrey White
1f7d96a74a
Merge branch 'main' into format
2022-12-15 15:17:54 +00:00
Tony Torralba
11c03fb8c9
Add 'good' test cases
2022-12-15 12:35:47 +01:00
Nora Dimitrijević
7ea0eada11
Swift: add missing Builtin symbols
2022-12-14 20:03:41 -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ć
16a119248d
Swift: remove toString() = "call to call to ..."
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ć
f6d5e8db5f
Swift: update test .expected files
2022-12-14 14:27:59 -05:00
Nora Dimitrijević
2b060b1433
Swift: initial schema change (generated part)
2022-12-14 14:24:35 -05:00
Nora Dimitrijević
0c55561b8e
Swift: initial schema change (hand-written part)
2022-12-14 14:22:53 -05:00
Nora Dimitrijević
1ede851cf5
Swift: initial getStaticTarget test
2022-12-14 14:22:53 -05:00
Nora Dimitrijević
99719d0ee1
Swift: initial PrintAst test for Method Lookups
2022-12-14 14:22:53 -05:00
Tony Torralba
d72d096c86
Add predicate injection query
2022-12-13 10:27:29 +01:00
Paolo Tranquilli
7645d4d928
Swift: remove ModuleDecl from PrintAst test
2022-12-08 17:31:48 +01:00
Mathias Vorreiter Pedersen
05d89b29e2
Merge branch 'main' into skip-lvalue-types
2022-12-07 17:50:23 +00:00
Paolo Tranquilli
ef348453fe
Swift: accept new, correct test result on TypeTuple::getNumberOfTypes
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
23626f2c69
Swift: add TupleType test
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
9b89ded908
Swift: accept test changes
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
d39f37540e
Swift: add has and getNumberOf properties to generated tests
2022-12-07 13:46:51 +01:00
Tony Torralba
7dca1b4b06
Merge branch 'main' into atorralba/swift/path-injection
2022-12-05 16:21:22 +01:00
Mathias Vorreiter Pedersen
e7ec5a69a3
Swift: Accept more test changes.
2022-12-05 14:53:23 +00:00
Mathias Vorreiter Pedersen
a07c9ffbc5
Swift: Accept test changes.
2022-12-05 14:19:00 +00:00
Geoffrey White
64fb98e46f
Swift: Rewrite bits to try and get rid of red highlighting.
2022-12-05 13:41:21 +00:00
Geoffrey White
17244734d0
Swift: Results repaired by merge.
2022-12-05 13:36:14 +00:00
Geoffrey White
07c790a430
Merge branch 'main' into alamofire3
2022-12-05 13:29:26 +00:00
Geoffrey White
59e9d0828b
Merge branch 'main' into generics
2022-12-05 10:30:10 +00:00
Geoffrey White
85a0a42da9
Swift: try again to satisfy ql-for-ql.
2022-12-02 10:15:11 +00:00
Geoffrey White
f7ebd1312e
Swift: Corrections.
2022-12-01 20:13:56 +00:00
Geoffrey White
32c4728f83
Swift: Add tests.
2022-12-01 16:32:33 +00:00
Geoffrey White
8acc09b551
Swift: Make ql-for-ql happy.
2022-12-01 09:07:17 +00:00
Geoffrey White
1ea44374a4
Swift: Autoformat.
2022-12-01 08:47:30 +00:00
Geoffrey White
0a0cfc34e7
Swift: Do the same for methods.
2022-12-01 08:47:29 +00:00
Geoffrey White
5a4d188255
Swift: Fix for extensions.
2022-12-01 08:47:29 +00:00
Geoffrey White
d71eeb4c95
Swift: First fix for MaD on generics.
2022-12-01 08:47:29 +00:00
Geoffrey White
b1b3487028
Swift: Add a test for MaD data sources in generics.
2022-12-01 08:47:28 +00:00
Tony Torralba
d958a62bf2
Fix expectations in data.swift
2022-11-30 16:19:55 +01:00
Karim Ali
8f456295e0
Merge pull request #11185 from karimhamdanali/swift-string-taint-steps
...
Swift: add `String` taint steps
2022-11-30 17:03:15 +02:00