1. 13
  1.  

  2. 14

    This is a good codebase to browse if you’re interested in high-quality C. The style was heavily influenced by the way C code is written in djb’s codebases.

    In particular, notice how a small set of macros were made to do common checks, defer, etc https://github.com/awslabs/s2n/blob/master/utils/s2n_safety.h

    And how this leads to extremely legible code with minimal branching and appropriate error checks/cleanup https://github.com/awslabs/s2n/blob/2f9ce2965ecd1f77f2c18ab51096a302fe833f7e/tls/s2n_tls13_certificate_verify.c#L73

    Also interesting are the handful of core data structures they defined (eg. stuffer) and use pervasively, high ratio of tests to code, and multiple proof engines.

    Stories with similar links:

    1. AWS s2n - open source TLS/SSL library via revert 5 years ago | 26 points | 1 comment