Paolo Tranquilli
24be481574
Merge pull request #11429 from github/redsun82/swift-type-mapping
...
Swift: make mapping from swift types to tags explicit
2022-12-02 12:12:12 +01:00
Geoffrey White
85a0a42da9
Swift: try again to satisfy ql-for-ql.
2022-12-02 10:15:11 +00:00
AlexDenisov
7bf0e7ccc9
Merge pull request #11520 from github/redsun82/swift-xcode-integration-test
...
Swift: add xcode integration test
2022-12-02 10:29:16 +01:00
Alex Denisov
7a3beac494
Swift: resolve symlinks conditionally
2022-12-02 10:07:10 +01:00
Alex Denisov
e7a48b4c98
Swift: add a test case for symlinks
2022-12-02 10:02:45 +01:00
Paolo Tranquilli
1b6a50147a
Merge branch 'main' into redsun82/swift-type-mapping
...
Conflict resolved on addition of `AbiSafeConversionExpr`
2022-12-02 09:02:47 +01:00
Geoffrey White
f7ebd1312e
Swift: Corrections.
2022-12-01 20:13:56 +00:00
Geoffrey White
157a7829ca
Swift: correct the example.
2022-12-01 18:35:10 +00:00
Geoffrey White
ad05cc3cb1
Swift: Separate out a FormatString library as well.
2022-12-01 18:09:46 +00:00
Geoffrey White
43596869e7
Swift: Move query logic to a .qll.
2022-12-01 18:09:45 +00:00
Geoffrey White
87fa159384
Swift: Add security-severity, and correct one for another query that apparently wasn't right.
2022-12-01 18:09:39 +00:00
Geoffrey White
58e9a0436e
Swift: Add metadata.
2022-12-01 18:09:33 +00:00
Tony Torralba
6bb54f07bf
Apply suggestions from code review
...
Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com >
2022-12-01 18:08:47 +01:00
Paolo Tranquilli
2976daa8eb
Merge pull request #11524 from github/redsun82/swift-remove-dangling-ql-file
...
Swift: remove obsolete file
2022-12-01 17:32:59 +01:00
Geoffrey White
2b61f26a64
Swift: Add doc.
2022-12-01 16:32:34 +00:00
Geoffrey White
32c4728f83
Swift: Add tests.
2022-12-01 16:32:33 +00:00
Geoffrey White
a2210959b5
Swift: Uncontrolled format string query (initial version).
2022-12-01 16:32:33 +00:00
Paolo Tranquilli
c374a5301e
Swift: upload test DBs as artifacts for integration tests
2022-12-01 17:30:25 +01:00
Paolo Tranquilli
cd6d00e760
Swift: add xcode integration test
2022-12-01 17:25:34 +01:00
Geoffrey White
a6b8ef310a
Swift: Rename predicate.
2022-12-01 16:20:28 +00:00
AlexDenisov
35060659ee
Merge pull request #11500 from github/alexdenisov/remove-patches-from-extractor
...
Swift: remove patches from the extractor
2022-12-01 17:17:36 +01:00
Paolo Tranquilli
68504c097c
Swift: remove obsolete file
2022-12-01 17:07:54 +01:00
Geoffrey White
c6c4975aa6
Swift: codegen.
2022-12-01 14:23:12 +00:00
Geoffrey White
b7d0d28ef9
Swift: QLDoc.
2022-12-01 14:23:03 +00:00
Geoffrey White
d64fd62194
Swift: resolve TODOs.
2022-12-01 14:18:24 +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
c71bd4cad9
Swift: Remove unused predicate.
2022-12-01 08:47:29 +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
8f24b0b815
Swift: Add missing comment.
2022-12-01 08:47:28 +00:00
Geoffrey White
b1b3487028
Swift: Add a test for MaD data sources in generics.
2022-12-01 08:47:28 +00:00
Paolo Tranquilli
4e29ff1d6e
Swift: add -merge-modules to frontend-invocations test
...
Also, moved from Makefile to a bash source.
2022-11-30 17:46:47 +01: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
Alex Denisov
0bfe502bb0
Swift: remove patches from the extractor
...
Moved elsewhere https://github.com/dsp-testing/codeql-swift-artifacts/pull/3
2022-11-30 15:36:09 +01:00
Karim Ali
f6bc88471a
update the expected output for CWE-079
...
Now that we have support for taint through fields of String, we can now detect certain flows that we previously marked as [NOT DETECTED]. This commit updates the expected output of CWE-079 (and the in-code annotation of the accompanying test case) to reflect that update.
2022-11-30 16:34:24 +02:00
Paolo Tranquilli
b8c11de89c
Merge pull request #11498 from github/redsun82/swift-codegen
...
Swift: enhance `codegen` UX
2022-11-30 15:17:18 +01:00
Owen Mansel-Chan
45e2a13c37
Merge pull request #11494 from owen-mc/dataflow/some-trivial-fixes
...
Dataflow: some trivial fixes
2022-11-30 13:59:41 +00:00
Paolo Tranquilli
bb3aa9e908
Swift: add --force to codegen
2022-11-30 14:19:33 +01:00
Paolo Tranquilli
d6aad13a98
Swift: make codegen run when no registry is there
2022-11-30 13:47:12 +01:00
Paolo Tranquilli
76db5f22b3
Swift: make codegen resilient to formatting errors
...
More in general, the managed renderer flow does things more sensibly
in case an exception is thrown:
* it will not remove any file
* it will drop already written files from the registry, so that codegen
won't be skipped for those files during the next run
2022-11-30 13:43:29 +01:00
Tom Hvitved
b33f5925bb
Data flow: Sync files
2022-11-30 13:39:25 +01:00
Tony Torralba
e222807693
Remove dubious sinks
2022-11-30 13:25:17 +01:00
Alex Denisov
fe0ae6bf0b
Swift: add 5.7.1 migration scripts
2022-11-30 12:52:26 +01:00
Alex Denisov
ad663533c7
Swift: bump setup Swift action
2022-11-30 12:40:42 +01:00
Alex Denisov
67fb56deb8
Swift: workaround an internal crash coming from Swift 5.7.1
2022-11-30 12:40:42 +01:00
Alex Denisov
f618d53302
Swift: add new implicit conversion
2022-11-30 12:40:34 +01:00
Alex Denisov
90d471b486
Swift: upgrade to Swift 5.7.1
2022-11-30 12:40:27 +01:00
