The Wayback Machine - https://web.archive.org/web/20231210211606/https://github.com/github/codeql/pull/15052
Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Swift: Expand models for UnsafePointer and friends #15052

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

geoffw0
Copy link
Contributor

@geoffw0 geoffw0 commented Dec 8, 2023

Expand the models for the 8 core Swift pointer classes (UnsafePointer and friends), plus Slice. These models were very fragmented and mostly just consisted of the 'closure methods' we've made an effort on + a few things we happened to use in tests of other functionality. Now they're now more-or-less completely modelled.

There are quite a large number of MAD rows in this PR because, as far as I can tell, there's not much class hierarchy between the 8 pointer classes. There are lots of similarities / duplication, but also lots of (possibly justified) minor differences. I've only created a random scatter of test cases, we'll just have to trust that the documentation + my models are accurate ... or alternatively, trust that the impact of any mistakes is likely to be quite low compared to the impact of not having these models at all!

@geoffw0 geoffw0 added the Swift label Dec 8, 2023
@geoffw0 geoffw0 requested a review from a team as a code owner December 8, 2023 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
1 participant