If people make game engines in C, why do (other) people say C is impossibly hard and can never be correct?

This page summarizes the projects mentioned and recommended in the original post on /r/C_Programming
Version control symbolic-execution C klee Shell

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • Git

    Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.

    I upvoted this, which I think was unreasonably downvoted. I was a C programmer professionaly for 20 years and I think it's probably true that every non-trivial C program has bugs in it. The C library has many functions that are difficult to use without introducing vulnerabilities -- so much so that there is a well-known list of APIs to avoid (https://github.com/git/git/blob/master/banned.h). More functions are not thread safe.

  • klee

    KLEE Symbolic Execution Engine

    I think that KLEE was quite good at that. See https://klee.github.io/

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts