Splint - annotation-assisted static program checker
☆332Jul 19, 2026Updated 2 months ago
Alternatives and similar repositories for splint
Users that are interested in splint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C code refactoring browser☆234Sep 5, 2026Updated 3 weeks ago
- a static analysis tool for finding vulnerabilities in C/C++ source code☆582May 17, 2026Updated 4 months ago
- static analysis of C/C++ code☆6,759Updated this week
- a CI-ready shell language syntax checker☆24Sep 1, 2026Updated 3 weeks ago
- Make systemd's PID 1 in WSL☆12Jun 26, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Apr 22, 2017Updated 9 years ago
- Microemacs (aka uemacs) v2.0 text editor by Dave Conroy from 1985. Updated to compile on Windows and Linux.☆16Sep 15, 2022Updated 4 years ago
- Static analyzer for C/C++ based on the theory of Abstract Interpretation.☆3,169May 31, 2026Updated 3 months ago
- Open Object Rexx mirror. We don't accept pull requests here, please submit patches on https://sourceforge.net/projects/oorexx/.☆25Sep 5, 2026Updated 3 weeks ago
- A USB sound card based on Nuvoton M482ZGCAE MCU and NAU88L25 I2S audio codec☆11Oct 2, 2022Updated 3 years ago
- A collection of clang plugins for safer C programming☆94Oct 29, 2018Updated 7 years ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,626Updated this week
- Zstandard for Ada - Fast real-time compression algorithm☆17Feb 3, 2023Updated 3 years ago
- Release snapshots of the Frama-C platform for source code analysis☆191Oct 21, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- My dotfiles☆15May 7, 2026Updated 4 months ago
- A library for reading tags files☆20Apr 14, 2026Updated 5 months ago
- ☆11Jun 5, 2015Updated 11 years ago
- Haskell data types and functions for countries☆29May 28, 2026Updated 3 months ago
- The SubC compiler☆33Jun 16, 2017Updated 9 years ago
- Binary Ninja Plugin for devi - see https://github.com/murx-/devi/ for devi details☆20Jan 17, 2024Updated 2 years ago
- ☆11Oct 20, 2023Updated 2 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆104Jul 7, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Manipulate C-family ASTs with Clang☆70Oct 22, 2018Updated 7 years ago
- Rust compile-time type information experiment☆19Jan 24, 2023Updated 3 years ago
- Fork of https://github.com/libsdl-org/SDL_image☆16Mar 20, 2023Updated 3 years ago
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 2 years ago
- qLibc is a simple and yet powerful C library providing generic data structures and algorithms.☆1,015Aug 11, 2026Updated last month
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 12 years ago
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆12,486Sep 9, 2026Updated 2 weeks ago
- cprops - C Prototyping Tools☆11Jul 27, 2012Updated 14 years ago
- Example of LZ4 compression with optimal parsing using BriefLZ algorithms☆28Nov 1, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Xynth is a portable embedded windowing system, client/server interface between display hardware (mouse, keyboard, video displays) and the…☆33Dec 15, 2017Updated 8 years ago
- CppUTest unit testing and mocking framework for C/C++☆1,481Jul 30, 2026Updated last month
- Fast API server for calculating linkage disequilibrium☆20Apr 24, 2025Updated last year
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆17May 13, 2026Updated 4 months ago
- Coding for classic 68k Amigas in C99 and assembler.☆15Jul 31, 2026Updated last month
- Experimental bed to study Linux faults☆27Jul 12, 2022Updated 4 years ago
- A tiny KVM hypervisor written in Python☆70Jan 7, 2019Updated 7 years ago