[C-safe-secure-studygroup] Bounds-checked interfaces

Aaron Ballman aaron at aaronballman.com
Thu Jan 17 19:13:00 GMT 2019

On Thu, Jan 17, 2019 at 2:00 PM Wilson, Charles
<Charles.Wilson at draeger.com> wrote:
> Though that might be the case.
> I’ve done a bit of scrounging over the years to try to make the case for Annex K, but have never found any positive feedback.

Annex K support comes up somewhat regularly from customers wanting it
but not understanding that it comes from the libc implementation
(mostly) and not the compiler. Clang's mailing list has gotten
requests for some Annex K support several times just in the past few
months. It's unfortunate how dismissive some folks are of the annex
because there's definitely user demand.


More information about the C-safe-secure-studygroup mailing list