Loading...
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
Authors
Publication date
2024-04-04
Publisher
Published in
Peer reviewed
REVIEWED
EPFL units
Available on Infoscience
April 17, 2024
Use this identifier to reference this record