microsoft / checkedc-llvmLinks
Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (mono) repo setup, following the lead of the LLVM community. See https://github.com/Microsoft/checkedc-clang instead.
☆97Updated 2 years ago
Alternatives and similar repositories for checkedc-llvm
Users that are interested in checkedc-llvm are comparing it to the libraries listed below
Sorting:
- 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 …☆509Updated last year
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- resurrected LLVM "C Backend", with improvements☆131Updated 5 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆65Updated 6 years ago
- A fast preprocessor for C and C++☆533Updated 4 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆222Updated 2 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago
- JIT Assembler Library for multiple ISAs☆76Updated 10 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- Graphical disassembler for multiple architectures for easy navigation☆153Updated 6 months ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Project moved to: https://github.com/llvm/llvm-project☆207Updated 6 years ago
- The latest development version of rose. It may not pass all regression tests.☆106Updated 6 years ago
- A collection of clang plugins for safer C programming☆92Updated 7 years ago
- custom type systems for Clang☆96Updated 10 years ago
- Mirror of Agner Fog's assembler routines (GPL)☆19Updated 9 years ago
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago
- Legacy repo, migrated to cheerp-compiler monorepo☆213Updated 4 years ago
- Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.☆189Updated 9 years ago
- Fork of Adobe/Mozilla lightweight library for generating machine code from C++☆35Updated 15 years ago
- A simple VM to play with OSR in LLVM☆15Updated 8 years ago
- GCC Tiny front-end☆107Updated 8 years ago
- Project moved to: https://github.com/llvm/llvm-project☆293Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 6 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆65Updated 7 years ago
- A fast, dumb and small LLVM code generator. This generates x86-32 code from LLVM bitcode.☆65Updated 11 years ago
- fast SIMD-able JIT regular expression compiler☆197Updated 10 years ago
- A Tree Parser Generator☆101Updated last year