English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Memory spatial errors, i.e., buffer overflow vulnerabilities, have been awell-known issue in computer security for a long time and remain one of theroot causes of exploitable vulnerabilities. Most of the existing mitigationtools adopt a fail-stop strategy to protect programs from intrusions, whichmeans the victim program will be terminated upon detecting a memory safetyviolation. Unfortunately, the fail-stop strategy harms the availability ofsoftware.  In this paper, we propose Saturation Memory Access (SMA), a memory spatialerror mitigation mechanism that prevents out-of-bounds access withoutterminating a program. SMA is based on a key observation that developersgenerally do not rely on out-of-bounds accesses to implement program logic. SMAmodifies dynamic memory allocators and adds paddings to objects to form anenlarged object boundary. By dynamically correcting all the out-of-boundsaccesses to operate on the enlarged protecting boundaries, SMA can tolerateout-of-bounds accesses. For the sake of compatibility, we chose tagged pointersto record the boundary metadata of a memory object in the pointer itself, andcorrect the address upon detecting out-of-bounds access.  We have implemented the prototype of SMA on LLVM 10.0. Our results show thatour compiler enables the programs to execute successfully through bufferoverflow attacks. Experiments on MiBench show that our prototype incurs anoverhead of 78\%. Further optimizations would require ISA supports.

Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs