RFC: Enforcing Bounds Safety in C (-fbounds-safety) : vimars

Summary
We propose -fbounds-safety, a C extension to enforce bounds safety to prevent out-of-bounds (OOB) memory accesses, which remain a major source of security vulnerabilities in C. -fbounds-safety aims to eliminate …

Related Keywords

Devin Coughlin , Shafik Yaghmour , Filip Pizlo , Henrik Olsson , Dan Liew , Azevedo Piovezan , Florian Hahn , Adrian Prantl , Patryk Stefanski , Zain Jaffal , Most Dangerous Software Weaknesses , Microsoft , Cybersecurity Development Secdev , Application Binary Interface , Felipe De Azevedo , Dangerous Software Weaknesses , Safe Buffer ,