Splint - annotation-assisted static program checker
☆334Jul 19, 2026Updated 3 weeks 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☆232Aug 4, 2026Updated last week
- static analysis of C/C++ code☆6,713Updated this week
- Make systemd's PID 1 in WSL☆12Jun 26, 2020Updated 6 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Apr 22, 2017Updated 9 years ago
- Open source Nuvoton N76E003 BSP☆15Feb 21, 2021Updated 5 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.
- Static analyzer for C/C++ based on the theory of Abstract Interpretation.☆3,159May 31, 2026Updated 2 months ago
- mirror from SF☆14May 9, 2013Updated 13 years ago
- Open Object Rexx mirror. We don't accept pull requests here, please submit patches on https://sourceforge.net/projects/oorexx/.☆24Aug 3, 2026Updated last week
- Microemacs (aka uemacs) v2.0 text editor by Dave Conroy from 1985. Updated to compile on Windows and Linux.☆16Sep 15, 2022Updated 3 years ago
- A collection of clang plugins for safer C programming☆93Oct 29, 2018Updated 7 years ago
- Fork of https://sourceforge.net/projects/tceetree/☆16Aug 3, 2017Updated 9 years ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,597Updated this week
- Zstandard for Ada - Fast real-time compression algorithm☆17Feb 3, 2023Updated 3 years ago
- Enhanced Meta File Fuzzer based on Peach Fuzzing Framework☆73Dec 28, 2016Updated 9 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.
- A library for reading tags files☆20Apr 14, 2026Updated 3 months ago
- A binary tree based memory allocator in C.☆11Nov 22, 2017Updated 8 years ago
- ☆11Jun 5, 2015Updated 11 years ago
- Learning about disassembling☆20Oct 28, 2019Updated 6 years ago
- Symbolic Execution of Android Framework☆15Jun 25, 2017Updated 9 years ago
- Linter for C++ based on Google's style guide☆1,840Updated this week
- Haskell data types and functions for countries☆29May 28, 2026Updated 2 months ago
- The SubC compiler☆33Jun 16, 2017Updated 9 years ago
- Code Repository for Python for Beginners with Examples, published by Packt☆10Oct 28, 2022Updated 3 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.
- Binary Ninja Plugin for devi - see https://github.com/murx-/devi/ for devi details☆20Jan 17, 2024Updated 2 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- Python script to find subdomains☆11Aug 22, 2025Updated 11 months ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆104Jul 7, 2026Updated last month
- Using cross-language LTO in Rust project☆12Aug 15, 2021Updated 4 years ago
- Emacs Lisp and YASnippet support for Atom and GitHub.☆15May 30, 2026Updated 2 months ago
- Rust compile-time type information experiment☆19Jan 24, 2023Updated 3 years ago
- Use built-in macOS optical character recognition (OCR) via the command line☆19Nov 17, 2025Updated 8 months ago
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- qLibc is a simple and yet powerful C library providing generic data structures and algorithms.☆1,014Updated this week
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆12,446May 19, 2026Updated 2 months ago
- cprops - C Prototyping Tools☆12Jul 27, 2012Updated 14 years ago
- Example of LZ4 compression with optimal parsing using BriefLZ algorithms☆28Nov 1, 2023Updated 2 years ago
- TOPPERSユーザーズフォーラム：ユーザのためのQ&Aおよび情報交換の場☆13Jun 16, 2022Updated 4 years ago
- CppUTest unit testing and mocking framework for C/C++☆1,480Jul 30, 2026Updated last week