research article
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety
April 4, 2024
Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory safety validation.
Type
research article
Web of Science ID
WOS:001197916700001
Author(s)
Date Issued
2024-04-04
Publisher
Published in
Subjects
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
Available on Infoscience
April 17, 2024
Use this identifier to reference this record