Microsoft's Checked C — safer C with static and dynamic checking

• checkedc

  21 3,183 0.0 C

  Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

  

• checkedc-clang

  2 493 0.0 C++

  This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

  

The "Installation Notes" for the latest release, at https://github.com/microsoft/checkedc-clang/releases/tag/v0.8-dev-build-2020-07-31 say:

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• zig

  818 30,946 10.0 Zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  

Obligatory: Zig has all of these checked pointer types (with some bonus features, like sentinel-terminated arrays can have non-zero sentinels, a separate C pointer type for ffi boundaries), seamless C interop, has a built-in build system that can compile and link your C/C++ sources.

Suggest a related project