gllvm VS checkedc-llvm-project

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

gllvm

Whole Program LLVM: wllvm ported to go (by SRI-CSL)
bitcode Llvm Clang Compilers bitcode-files bitcode-generation klee
Source Code
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
gllvm checkedc-llvm-project
2 1
283 13
2.8% -
4.3 6.3
7 days ago 18 days ago
Go
BSD 3-clause "New" or "Revised" License -
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.

gllvm

Posts with mentions or reviews of gllvm. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-02.
  • Turns out GCC has imperative argument handling
    2 projects | news.ycombinator.com | 2 Jul 2022
    I think this comment puts it nicely: https://github.com/SRI-CSL/gllvm/issues/48#issuecomment-8444...

    But hang on, this is Linux where file extensions are basically just decoration. So if GCC now has special behaviour (and a different linker invocation) depending if the file is a source or an object file, does that mean GCC has to do content sniffing to figure out what the command is supposed to do?

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 gllvm and checkedc-llvm-project you can also consider the following projects:

noplate - generic data structures

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

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

clangir - A new (MLIR based) high-level IR for clang.

CompCert - The CompCert formally-verified C compiler

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

archive-program - The GitHub Archive Program & Arctic Code Vault

ikos - Static analyzer for C/C++ based on the theory of Abstract Interpretation.

checkedc-llvm-project vs noplate checkedc-llvm-project vs CodeHawk-C checkedc-llvm-project vs Hikari-LLVM15 checkedc-llvm-project vs clangir checkedc-llvm-project vs CompCert checkedc-llvm-project vs codeql checkedc-llvm-project vs archive-program checkedc-llvm-project vs ikos