Checkedc Alternatives
Similar projects and alternatives to checkedc
-
-
-
SonarQube
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
-
-
manyclangs
Repository hosting unofficial binary pack files for many commits of LLVM
-
checkedc-clang
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.
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
-
Scout APM
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
-
-
-
The-C-Programming-Language
Answers to exercises in K&R's The C Programming Language (second Edition).
-
-
-
verifast
Research prototype tool for modular formal verification of C and Java programs
-
Rust-for-Linux
Adding support for the Rust language to the Linux kernel. (by Rust-for-Linux)
-
-
-
-
-
unsafe-code-guidelines
Home for the Unsafe Code Guidelines working group.
-
checkedc reviews and mentions
-
ISO C became unusable for operating systems development
You may be interested by https://www.microsoft.com/en-us/research/project/checked-c/
- Might OpenBSD ever consider using a language like Zig?
-
What is "memory safety"? Does it have something to do with stack overflows? Why is it a problem that needs "fixing" with new languages such as Rust?
As far as the language, you can have a language that has failsafes, but C isn't that language. You can extend C to be safer in regards to this stuff, then you might end up with something like Checked C. You could also make a new language that is designed from the beginning to deal with this stuff, then you end up with something like Rust.
- Linux Rust Support
- A Proven Correct C Compiler (Used by Airbus)
- What do you think of Safe-C ?
- Microsoft's Checked C — safer C with static and dynamic checking
- Checked C
- Checked C (Microsoft)
-
Refactoring the FreeBSD Kernel with Checked C [pdf]
Checked C appears to be a relatively recent research project from Microsoft[0][1], so I'm not sure that FreeBSD would be terribly keen on refactoring around it. There have also been many "safer C" languages before, so the only advantage that the paper that Checked C really offers is that it seems to have a high degree of backwards compatibility, so I guess the refactoring could occur over a longer period of time.
[0] https://www.microsoft.com/en-us/research/project/checked-c/
Stats
microsoft/checkedc is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
Popular Comparisons
Are you hiring? Post a new remote job listing for free.