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 copy of the DirectX Headers from MinGW-64.☆14Sep 7, 2023Updated 3 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 years ago
- X.Org video driver for NVIDIA Tegra☆14Oct 24, 2021Updated 4 years ago
- The Rockchip VPU driver module code for Linux, taken from rockchip-forwardports. I'm still hesitating between rockchip-vcodec and literat…☆12Jul 20, 2020Updated 6 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.
- 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
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 8 years ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 9 years ago
- Sea Dogs 1/2/3, Age of Sail 2, Privateer’s Bounty file formats☆14Mar 31, 2021Updated 5 years ago
- lightweight, reliable and high-performance HTTP cache, based on file, suitable for CDN especially.☆12Dec 5, 2016Updated 9 years ago
- Parsing Expression Grammar parser making heavy use of Java 8 lambda expressions☆10Oct 29, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Emacs package database☆19Oct 4, 2026Updated last week
- Android port of OpenArena 0.8.8 client/server, based on undeadzy's ioq3 port☆16Jun 6, 2021Updated 5 years ago
- For a given tree builds an SVG based SunBurst diagram☆19Aug 1, 2026Updated 2 months ago
- ECU using the MPC5634 processor☆11Mar 26, 2015Updated 11 years ago
- ☆12Sep 23, 2026Updated 2 weeks ago
- V4L2 Hantro H264 encoder userspace☆14Feb 12, 2021Updated 5 years ago
- Modernize Heavy Metal: F.A.K.K. 2☆15Nov 12, 2020Updated 5 years ago
- ☆17Feb 12, 2018Updated 8 years ago
- vehicle-app-cpp-sdk☆13Dec 15, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- XRay engine 1.6.2 (S.T.A.L.K.E.R: Call of Pripyat) evolution☆50Jul 25, 2023Updated 3 years 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
- Full source code for 3D boat racing game released by French Touch early 2001☆22Mar 23, 2026Updated 6 months ago
- Open .rpa, rpy and .rpyc files.☆20Oct 27, 2018Updated 7 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 12 years ago
- ANTARES Visualizations☆22Jan 3, 2025Updated last year
- Core3D is a custom 3D engine programmed in Objective-C and powers the game CoreBreach☆16Apr 12, 2015Updated 11 years ago
- Vue Black Dashboard PRO issues☆14Feb 27, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Embed images inline with Skype for Business (Lync)☆12Aug 25, 2016Updated 10 years ago
- A call graph visualzer based on csope, graphviz and xdot☆20Mar 29, 2011Updated 15 years ago
- ☆15Dec 13, 2016Updated 9 years ago
- ☆17Updated this week
- ❄️.NET Standard library to get inventories in steam.☆10May 27, 2017Updated 9 years ago
- My own VHDL components library. Anything from a flip flop to an ALU.☆12Feb 5, 2024Updated 2 years ago
- Access Diego containers with ssh☆19Sep 10, 2025Updated last year