Skip to content

Validate IntPtr and ByRef field overlap #65246

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.

Sign up for GitHub

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

Merged
AaronRobinsonMSFT merged 9 commits into from
Feb 15, 2022
Merged

Validate IntPtr and ByRef field overlap #65246

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
60a1570
Validate IntPtr and byref field overlap
AaronRobinsonMSFT Feb 12, 2022
0560184
Add tests
AaronRobinsonMSFT Feb 12, 2022
ac6db0f
Remove local test logic.
AaronRobinsonMSFT Feb 12, 2022
51d8c24
Simplify the call scenario for ByRefLike value types.
AaronRobinsonMSFT Feb 12, 2022
1b5d351
Merge remote-tracking branch 'upstream/main' into overlap_byref_and_prim
AaronRobinsonMSFT Feb 12, 2022
9615682
Fix loop over buffers.
AaronRobinsonMSFT Feb 13, 2022
701a4bb
Merge remote-tracking branch 'upstream/main' into overlap_byref_and_prim
AaronRobinsonMSFT Feb 14, 2022
4ccb193
Overlapped IntPtr and byref fields should be invalid on mono too.
AaronRobinsonMSFT Feb 14, 2022
14d466d
Limit looking for ref fields to value types
AaronRobinsonMSFT Feb 15, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Limit looking for ref fields to value types
  • Loading branch information
@AaronRobinsonMSFT
AaronRobinsonMSFT committed Feb 15, 2022
commit 14d466ded78ba8dabeb143d83e4a3778789fdde4
2 changes: 1 addition & 1 deletion src/mono/mono/metadata/class-init.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1846,7 +1846,7 @@ class_has_ref_fields (MonoClass *klass)
static gboolean
type_has_ref_fields (MonoType *ftype)
{
if (m_type_is_byref (ftype) || class_has_ref_fields (mono_class_from_mono_type_internal (ftype)))
if (m_type_is_byref (ftype) || (MONO_TYPE_ISSTRUCT (ftype) && class_has_ref_fields (mono_class_from_mono_type_internal (ftype))))
return TRUE;

return FALSE;
Expand Down