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

Martin Sebor msebor at gmail.com
Thu Jan 17 15:59:26 GMT 2019


What guidance do safety expertes give to programmers of safe
systems for the adoption of the APIs (Annex K)?

I'm especially wondering what the recommended practice is for
handling constraint violations (abort vs return to caller) and
exercising handler code.

Martin

On 1/16/19 11:46 AM, Robert Seacord wrote:
> I'm working on a paper on bounds-checked interfaces that I'm going to 
> solicit reviewers for soon.
> Meanwhile, I've heard Clive defend the following principle:
> 
> This is a widely-held expert view that changes to “working code” only 
> increase the opportunities to inject new defects.  This view has even 
> been expressed by the safety-critical community.
> 
> I'm wondering if there is an authoritative source I could reference on 
> this claim?
> 
> I'm tempted just to write "Clive says...."  ;^)
> 
> Thanks,
> rCs
> 
> _______________________________________________
> C-safe-secure-studygroup mailing list
> C-safe-secure-studygroup at lists.trustable.io
> https://lists.trustable.io/cgi-bin/mailman/listinfo/c-safe-secure-studygroup
> 




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