Offer an interesting project for PVS-Studio analysis.
☆29Dec 8, 2023Updated 2 years ago
Alternatives and similar repositories for pvs-studio-check-list
Users that are interested in pvs-studio-check-list are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compatibility <intrin.h> header for GCC☆13Nov 26, 2018Updated 7 years ago
- A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages☆13May 4, 2015Updated 11 years ago
- An I/O analysis tool that helps you analyze the I/O operations of your Java application. It addresses problems such as leaking file handl…☆12Feb 28, 2020Updated 6 years ago
- The GitHub "Trending" that makes sense☆12Dec 25, 2021Updated 4 years ago
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Jun 7, 2010Updated 16 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 8 years ago
- Eclipse Leda - Self Update Agent (SUA)☆16Jan 16, 2024Updated 2 years ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 9 years ago
- lightweight, reliable and high-performance HTTP cache, based on file, suitable for CDN especially.☆12Dec 5, 2016Updated 9 years ago
- Example code to help getting start with SootUp☆16Aug 7, 2025Updated last year
- A Java framework for testing multithreaded code.☆14Oct 26, 2018Updated 7 years ago
- For a given tree builds an SVG based SunBurst diagram☆18Aug 1, 2026Updated last month
- Flat UI website redesign☆12Jan 19, 2022Updated 4 years ago
- HeadsUp License API and Manager☆15Oct 12, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- vehicle-app-cpp-sdk☆13Dec 15, 2025Updated 9 months ago
- Small C application to wake a system via the lan☆15Feb 24, 2011Updated 15 years ago
- Java library for interacting with del.icio.us service☆14Jan 10, 2010Updated 16 years ago
- ANTARES Visualizations☆22Jan 3, 2025Updated last year
- Static analysis tool using Clang libraries designed for use with Colobot☆11Feb 22, 2021Updated 5 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆20Aug 13, 2022Updated 4 years ago
- Embed images inline with Skype for Business (Lync)☆12Aug 25, 2016Updated 10 years ago
- Intro-presentation about Rust.☆11Oct 16, 2019Updated 6 years ago
- A simple pytest plugin to disable network on socket level.☆15Apr 13, 2026Updated 5 months 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.
- Access Diego containers with ssh☆19Sep 10, 2025Updated last year
- MyBatis/iBatis Hello World application☆17Feb 14, 2011Updated 15 years ago
- a terminal CUI for kubernetes☆19Sep 24, 2020Updated 5 years ago
- Discover possible N+1 queries in Django ORM at runtime☆11Oct 25, 2022Updated 3 years ago
- launchpad to github migration tool☆19Sep 8, 2019Updated 7 years ago
- Mono/.NET bindings for ChakraCore☆14Aug 18, 2018Updated 8 years ago
- ☆11Dec 31, 2014Updated 11 years ago
- Исходный код движка планетарных битв из Space Rangers 2☆19Nov 22, 2022Updated 3 years ago
- Open source backend service (REST API) for Badger☆10Apr 17, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13Dec 23, 2016Updated 9 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Fine-tuned Apple API Docsets for Dash☆19Aug 7, 2018Updated 8 years ago
- Thread Handling For Tcl (Mirror of core.tcl-lang.org).☆23Updated this week
- Телеграм бот для поиска банкоматов Тинкофф банка с валютой☆11Apr 12, 2022Updated 4 years ago
- Visual Studio RC Text Bounds Checker☆12Feb 15, 2016Updated 10 years ago