Checkedc-clang Alternatives
Similar projects and alternatives to checkedc-clang
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
checkedc
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.
-
InfluxDB
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.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
checkedc-clang reviews and mentions
-
A Formal Model of Checked C
Is it related to https://github.com/microsoft/checkedc-clang ?
Another interesting link is https://support.apple.com/guide/security/memory-safe-iboot-i... : Apple modified C compiler to improve iBoot security. I never found this particular implementation, I guess it's proprietary.
-
Microsoft's Checked C — safer C with static and dynamic checking
The "Installation Notes" for the latest release, at https://github.com/microsoft/checkedc-clang/releases/tag/v0.8-dev-build-2020-07-31 say:
Stats
microsoft/checkedc-clang is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of checkedc-clang is C++.
Popular Comparisons
Sponsored