Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps'
Authors
Filardo, Nathaniel
Gutstein, Brett
Woodruff, Jonathan
Paul-Trifu, Lucian
Davis, Brooks
Xia, Hongyan
Napierala, Edward
Baldwin, John
Chisnall, David
Clarke, Jessica
Gudka, Khilan
Joannou, Alexandre
Markettos, A Theodore
Mazzinghi, Alfredo
Norton, Robert M
Roe, Michael
Son, Stacey
Neumann, Peter G
Watson, Robert
Publication Date
2020-04-01Type
Dataset
Metadata
Show full item recordCitation
Filardo, N., Gutstein, B., Woodruff, J., Ainsworth, S., Paul-Trifu, L., Davis, B., Xia, H., et al. (2020). Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps' [Dataset]. https://doi.org/10.17863/CAM.51028
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.
Format
Modified CheriBSD, snmalloc, and dlmalloc; new mrs wrapper.
Keywords
temporal safety
Relationships
Identifiers
This record's DOI: https://doi.org/10.17863/CAM.51028
Rights
Various (see README.txt)
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.