Checkedc-llvm-project Alternatives

Similar projects and alternatives to checkedc-llvm-project

• dmd

  147 2,893 9.9 D checkedc-llvm-project VS dmd

  dmd D Programming Language compiler

  

• wuffs

  80 3,758 9.4 C checkedc-llvm-project VS wuffs

  Wrangling Untrusted File Formats Safely

  

• 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.

  

• CompCert

  36 1,767 7.2 Coq checkedc-llvm-project VS CompCert

  The CompCert formally-verified C compiler

  

• checkedc

  21 3,183 0.0 C checkedc-llvm-project VS 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.

  

• codeql

  16 7,135 10.0 CodeQL checkedc-llvm-project VS codeql

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

  

• static-analysis

  15 12,881 9.4 Rust checkedc-llvm-project VS static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  

• ikos

  14 1,989 7.5 C++ checkedc-llvm-project VS ikos

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

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• noplate

  4 41 6.0 C checkedc-llvm-project VS noplate

  generic data structures

• archive-program

  8 2,998 0.0 checkedc-llvm-project VS archive-program

  The GitHub Archive Program & Arctic Code Vault

  

• CodeHawk-C

  2 22 1.1 Python checkedc-llvm-project VS CodeHawk-C

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

  

• c2nim

  7 489 4.1 Nim checkedc-llvm-project VS c2nim

  c2nim is a tool to translate Ansi C code to Nim. The output is human-readable Nim code that is meant to be tweaked by hand before and after the translation process.

  

• Hikari-LLVM15

  1 485 5.2 checkedc-llvm-project VS Hikari-LLVM15

  A fork of Hikari Obfuscator [WIP]

• clangir

  2 280 10.0 checkedc-llvm-project VS clangir

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