3 papers
cs.CR2020
S3Library: Automatically Eliminating C/C++ Buffer Overflow using Compatible Safer Libraries
Kang Sun, Daliang Xu, Dongwei Chen +2
Annex K of C11, bounds-checking interfaces, recently introduced a set of alternative functions to mitigate buffer overflows, primarily those caused by string/memory functions. Howe…
cs.CR2020
DangKiller: Eliminating Dangling Pointers Efficiently via Implicit Identifier
Daliang Xu, Dongwei Chen, Chun Yang +3
Use-After-Free vulnerabilities, allowing the attacker to access unintended memory via dangling pointers, are more threatening. However, most detection schemes can only detect dangl…
cs.CR2020
Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs
Dongwei Chen, Daliang Xu, Dong Tong +4
Memory spatial errors, i.e., buffer overflow vulnerabilities, have been a well-known issue in computer security for a long time and remain one of the root causes of exploitable vul…