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

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 ,