Skip to content

allocator-test/fuzz: stochastic necromancy test - #387

Merged
nwf merged 2 commits into
CHERIoT-Platform:mainfrom
nwf:202412-allocator_test_stochastic_necromancy
Dec 20, 2024
Merged

allocator-test/fuzz: stochastic necromancy test#387
nwf merged 2 commits into
CHERIoT-Platform:mainfrom
nwf:202412-allocator_test_stochastic_necromancy

Conversation

@nwf

@nwf nwf commented Dec 19, 2024

Copy link
Copy Markdown
Member

Hold on to a random collection of freed pointers (stored before we free them) and, after each round, scan the collection looking for asserted tags. This could happen if an object is prematurely released from quarantine before the revoker gets to the copy here in the collection.

@nwf
nwf requested review from davidchisnall and rmn30 December 19, 2024 21:40
@nwf
nwf force-pushed the 202412-allocator_test_stochastic_necromancy branch from 3b047a6 to 9cb63a9 Compare December 19, 2024 21:55
nwf added 2 commits December 19, 2024 22:06
Hold on to a random collection of freed pointers (stored before we free
them) and, after each round, scan the collection looking for asserted
tags.  This could happen if an object is prematurely released from
quarantine before the revoker gets to the copy here in the collection.
@nwf
nwf force-pushed the 202412-allocator_test_stochastic_necromancy branch from 9cb63a9 to a72c5f3 Compare December 19, 2024 22:27
@nwf

nwf commented Dec 19, 2024

Copy link
Copy Markdown
Member Author

While in the neighborhood, add a basic preflight test to hopefully catch things like the load barrier or revoker not working or being misconfigured (inspired by the report in #375, even if it isn't the actual problem over there, in the end).

@rmn30 rmn30 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@nwf
nwf merged commit 39da201 into CHERIoT-Platform:main Dec 20, 2024
@nwf
nwf deleted the 202412-allocator_test_stochastic_necromancy branch December 20, 2024 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants