Clang plugin with several static analysis checks
☆28Jul 16, 2025Updated 10 months ago
Alternatives and similar repositories for itiviti-cpp-analyzer
Users that are interested in itiviti-cpp-analyzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 10 years ago
- A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.☆11Jan 31, 2022Updated 4 years ago
- An implementation of Horton hash tables☆10Aug 24, 2016Updated 9 years ago
- ☆20Apr 14, 2026Updated last month
- A security-first linter for code that shouldn't need linting☆19Sep 12, 2023Updated 2 years 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.
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated 9 months ago
- A benchmark for standard libraries☆21Sep 23, 2023Updated 2 years ago
- Collections of services for search data from passengers lists and emigrants records☆12Jun 3, 2022Updated 3 years ago
- ☆18Jul 13, 2021Updated 4 years ago
- Disassembly Generation and Processing for JARV1S☆15Jul 15, 2025Updated 10 months ago
- Markup source code showing optimizations☆36Jan 21, 2020Updated 6 years ago
- HyperTwoBits implementation☆17Aug 29, 2025Updated 8 months ago
- Compile-time XPM-like image parser for C++☆12Jan 7, 2019Updated 7 years ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Jul 24, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A cache for clang-tidy☆36Jan 5, 2024Updated 2 years ago
- Cache for clang-tidy static analysis results☆131Apr 29, 2026Updated 3 weeks ago
- ⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository sta…☆26Updated this week
- Corporative registry worldwide catalog. 63 countries☆16Jun 24, 2022Updated 3 years ago
- The C++ "buck" operator (aka the dollar sign operator)☆11Jun 21, 2015Updated 10 years ago
- C++20 library for binary serialization of arbitrary aggregates or tuples. The library also unifies work with tuples and aggregates☆13Feb 26, 2022Updated 4 years ago
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- C library plusifier☆10Nov 13, 2021Updated 4 years ago
- strace2seccomp - generates libseccomp policies from strace logs☆10Feb 19, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Algorithmic pseudolang to LLVM IR compiler☆11May 6, 2021Updated 5 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- C automata library to build, determinize, minimize, translate regexp etc☆11Mar 26, 2016Updated 10 years ago
- Static Analysis Framework for Modular Analyses☆14May 11, 2026Updated last week
- GAP package guava - computations relative to error-correcting codes☆20Mar 31, 2026Updated last month
- Tracking events, CfPs, abstracts, slides, and all other even related things☆22Oct 4, 2019Updated 6 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆56Jan 25, 2025Updated last year
- ☆18Dec 13, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Some near drop in stl compatible hash tables that are a lot more space efficient than any other options.☆23Sep 16, 2022Updated 3 years ago
- Open paper reading club @ JetBrains☆38Oct 14, 2024Updated last year
- Repo for test Yandex Maps API and "World map of OSINT tools"☆20Mar 25, 2024Updated 2 years ago
- Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage☆184Oct 18, 2024Updated last year
- Modern, type-safe, contract-first web framework for OCaml 5☆53Updated this week
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- ☆27Sep 21, 2022Updated 3 years ago