clangir VS checkedc-llvm-project

Compare clangir vs checkedc-llvm-project and see what are their differences.

clangir

A new (MLIR based) high-level IR for clang. (by llvm)
Clang Codegeneration compiler-frontend Compilers CPP intermediate-code-generation intermediate-language intermediate-representation Llvm
Source Code
clangir.org
Suggest alternative
Edit details

checkedc-llvm-project

This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. (by checkedc)
C Compilers Security Llvm Clang
Source Code
Suggest alternative
Edit details
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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
clangir checkedc-llvm-project
2 1
287 13
3.5% -
10.0 6.0
9 days ago 7 days ago
GNU General Public License v3.0 or later -
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

clangir

Posts with mentions or reviews of clangir. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-08.
  • Decoding C/C++ Compilation Process: From Source Code to Binary
    5 projects | /r/cpp | 8 Jun 2023
    It could be cool to see some explanation of CFG representations or GIMPLE/LLVM here. GCC/Clang can print those out as text, or just compile to that code and not go lower if you ask them to. There are some interesting things you can do with bytecode, like Rellic, AFL++, or optview2. It seems a bit reductive imo to go straight from high-level code to disassembly without at all examining any layers in between. Especially if we use something like Polygeist or CIR.
  • Compilers and IRS: LLVM IR, SPIR-V, and MLIR
    2 projects | news.ycombinator.com | 29 Oct 2022
    I'm also curious, especially they seem to be gearing towards analysis as well.

    https://github.com/llvm/clangir/blob/main/clang/lib/CIR/Dial...

checkedc-llvm-project

Posts with mentions or reviews of checkedc-llvm-project. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-12-21.
  • Checked C
    14 projects | news.ycombinator.com | 21 Dec 2022
    Note that active development seems to be continuing here:

    https://github.com/secure-sw-dev/checkedc-llvm-project

What are some alternatives?

When comparing clangir and checkedc-llvm-project you can also consider the following projects:

vast - VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

noplate - generic data structures

Polygeist - C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

CodeHawk-C - CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)

optview2 - User-oriented fork of LLVM's opt-viewer

Hikari-LLVM15 - A fork of Hikari Obfuscator [WIP]

demangle-mode - Emacs minor mode that automatically demangles C++, D, and Rust symbols

CompCert - The CompCert formally-verified C compiler

codegena - Codegeneration tool

codeql - CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

clangir vs vast checkedc-llvm-project vs noplate clangir vs Polygeist checkedc-llvm-project vs CodeHawk-C clangir vs optview2 checkedc-llvm-project vs Hikari-LLVM15 clangir vs demangle-mode checkedc-llvm-project vs CompCert clangir vs codegena checkedc-llvm-project vs codeql