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.
☆98Jun 12, 2023Updated 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 …☆515Nov 16, 2025Updated 3 months ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,262Oct 7, 2024Updated last year
- LLVM Metadata Visualizer☆21Nov 30, 2017Updated 8 years ago
- Demonstrate the new FileDispositionInfoEx behavior☆15Nov 6, 2017Updated 8 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆30Jul 18, 2014Updated 11 years ago
- adds an optional type system to J language☆21Feb 7, 2016Updated 10 years ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Sep 1, 2022Updated 3 years ago
- A simple json pack/unpack for Io☆20Jan 2, 2009Updated 17 years ago
- ☆16Sep 7, 2017Updated 8 years ago
- Plugin to label PEB addresses.☆31Feb 28, 2017Updated 9 years ago
- Simple utility to watch directory change notifications on a given path☆20Oct 6, 2017Updated 8 years ago
- LLVM based devirtualization PoC’s.☆21Dec 11, 2021Updated 4 years ago
- A C++11 character encoding and code point enumeration library based on range-v3☆20May 20, 2018Updated 7 years ago
- ☆10Aug 29, 2018Updated 7 years ago
- x64dbg Plugin SDK For x86 Assembler☆23Sep 10, 2018Updated 7 years ago
- Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…☆52Jun 25, 2025Updated 8 months ago
- ☆17Jan 1, 2021Updated 5 years ago
- Obtain remote process cookies by performing a brute-force attack on ntdll.RtlDecodePointer using known pointer encodings.☆22May 31, 2017Updated 8 years ago
- Plugin demonstrating how to link with Qt. CURRENTLY OUTDATED, UPDATE SOON☆29Jun 29, 2023Updated 2 years ago
- A superoptimizer for LLVM IR☆2,350Aug 28, 2024Updated last year
- Confirms the capability of Hardware-Accelerated Virtualization Technology.☆10Updated this week
- Windows device tree walker☆15Sep 19, 2018Updated 7 years ago
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Feb 7, 2024Updated 2 years ago
- Packed Malware Analyzer (PACKMAN)☆12Jan 31, 2016Updated 10 years ago
- Binaries and Installers for public consumption.☆12Mar 22, 2020Updated 5 years ago
- Allows you to add breakpoints from IDA (from the graph/text view) to WinDbg easily☆14Oct 10, 2018Updated 7 years ago
- ☆12Jan 7, 2025Updated last year
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 8 years ago
- Cross platform Windows PDB Reader for .NET Core to read windows pdb☆18Mar 14, 2020Updated 5 years ago
- This is a forked Version of oh-my-zsh optimized for jailbroken iOS devices.☆11Feb 21, 2018Updated 8 years ago
- x86/64 Linux Debugger (written w/ python stdlib,ctypes/ptrace)☆10May 16, 2017Updated 8 years ago
- IDA Database Importer plugin for Binary Ninja☆37Sep 13, 2024Updated last year
- penter hook example and driver time recorder☆31Oct 2, 2017Updated 8 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆82Sep 1, 2018Updated 7 years ago
- Library for linking multiple PE\PE + files to one☆52Mar 16, 2024Updated last year
- MSBuild 15.0 Toolset integration for multiple LLVM (From v5 to v8)☆81Dec 25, 2023Updated 2 years ago