-fbounds-safety: Enforcing bounds safety for C (clang.llvm.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of clang.llvm.org: -fbounds-safety: Enforcing bounds safety for C

First screen, captured 8 months ago.

Looks similar

Screenshot of discourse.llvm.org: RFC: Enforcing Bounds Safety in C (-fbounds-safety)

RFC: Enforcing Bounds Safety in C (-fbounds-safety)(discourse.llvm.org)

25 points by panic 3 years ago | 18 comments

Screenshot of flang.llvm.org: Fortran for C Programmers

Fortran for C Programmers (flang.llvm.org)

18 points by todsacerdoti 1 year ago | 5 comments

Screenshot of xr0.dev: Xr0: C but Safe

Xr0: C but Safe (xr0.dev)

124 points by synergy20 2 years ago | 95 comments

Screenshot of xr0.dev: Xr0 verifier, guarantee the safety of C programs at compile time

Xr0 verifier, guarantee the safety of C programs at compile time (xr0.dev)

93 points by Alifatisk 9 months ago | 29 comments

Screenshot of fil-c.org: Safepoints and Fil-C

Safepoints and Fil-C (fil-c.org)

80 points by matt_d 1 year ago | 41 comments

Screenshot of arxiv.org: Coding Guidelines for Prolog (2011)

Coding Guidelines for Prolog (2011)(arxiv.org)

109 points by tosh 3 years ago | 13 comments