Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps'
Repository URI
Repository DOI
No Thumbnail Available
Type
Dataset
Change log
Authors
Filardo, Nathaniel
Gutstein, Brett
Woodruff, Jonathan
Ainsworth, Sam https://orcid.org/0000-0002-3726-0055
Paul-Trifu, Lucian
Description
Source code for CheriBSD, snmalloc, dlmalloc, and the allocator shim ("mrs") used for the Cornucopia experiments. See README.txt file for details of each file and associated licences.
Version
Software / Usage instructions
Modified CheriBSD, snmalloc, and dlmalloc; new mrs wrapper.
Keywords
temporal safety
Publisher
Rights
Various (see README.txt)