Huang, KaimingPayer, MathiasQian, ZhiyunSampson, JackTan, GangJaeger, Trent2024-04-172024-04-172024-04-172024-04-0410.1109/MSEC.2024.3379947https://infoscience.epfl.ch/handle/20.500.14299/207374WOS:001197916700001Comprehensive 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.TechnologySafetyRuntimeMemory ManagementProtectionCostsStatic AnalysisSoftwareComprehensive Memory Safety Validation: An Alternative Approach to Memory Safetytext::journal::journal article::research article