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☆11Nov 26, 2018Updated 7 years ago
- A copy of the DirectX Headers from MinGW-64.☆14Sep 7, 2023Updated 2 years ago
- Tony Hawk's Underground☆19Jul 25, 2025Updated 9 months ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- Fireline,a static code analysis program to look for bugs in Java code.☆10Nov 21, 2022Updated 3 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.
- ☆13Sep 7, 2025Updated 7 months ago
- X.Org video driver for NVIDIA Tegra☆14Oct 24, 2021Updated 4 years ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 8 years ago
- Micro Machines v3 level editor☆12Jan 15, 2019Updated 7 years ago
- Eclipse Leda - Self Update Agent (SUA)☆15Jan 16, 2024Updated 2 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Jun 21, 2018Updated 7 years ago
- Android port of OpenArena 0.8.8 client/server, based on undeadzy's ioq3 port☆14Jun 6, 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 5 years ago
- Java library for generation and validation of software licenses (forked from OddSource/java-license-manager).☆12Nov 23, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repository contains the hardware and software files for a fan controller suitable for use on the Asus Tinker Board and other similar…☆10Apr 29, 2017Updated 9 years ago
- Internet Explorer Organization Page☆23Oct 31, 2018Updated 7 years ago
- ☆14Jul 16, 2025Updated 9 months ago
- Modernize Heavy Metal: F.A.K.K. 2☆14Nov 12, 2020Updated 5 years ago
- Carnivores 2 (1999) by Action Forms☆20Dec 31, 2017Updated 8 years ago
- Playground for better understanding Web APIs☆19Jan 21, 2021Updated 5 years ago
- A collection of tools developed by other researchers in the Computer Science area to process network traces. All the right reserved for t…☆15Jun 3, 2016Updated 9 years ago
- Full source code for 3D boat racing game released by French Touch early 2001☆22Mar 23, 2026Updated last month
- ☆21Jan 11, 2026Updated 3 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.
- rkhunter (Rootkit Hunter) is a Unix-based tool that scans for rootkits, backdoors and possible local exploits. It does this by comparing …☆16Dec 8, 2022Updated 3 years ago
- vehicle-app-cpp-sdk☆13Dec 15, 2025Updated 4 months ago
- Common utility functionality for Unity game projects.☆11Jul 13, 2018Updated 7 years ago
- Vue Black Dashboard PRO issues☆14Feb 27, 2024Updated 2 years ago
- XRay engine 1.6.2 (S.T.A.L.K.E.R: Call of Pripyat) evolution☆48Jul 25, 2023Updated 2 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 11 years ago
- The repository for the zine☆31Aug 17, 2015Updated 10 years ago
- Intro-presentation about Rust.☆11Oct 16, 2019Updated 6 years ago
- A javac annotation processor that makes Java variables default to immutable.☆15Aug 22, 2015Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- SkyXEngine - движок для создания 3D игр с real-time рендером, использует технологии DirectX 11.☆16Mar 16, 2026Updated last month
- ANTARES Visualizations☆22Jan 3, 2025Updated last year
- launchpad to github migration tool☆19Sep 8, 2019Updated 6 years ago
- Oddly enough, a Scala wrapper for Typesafe's (pure-Java) Config library.☆32Oct 15, 2013Updated 12 years ago
- Linux kernel source tree for Microsoft Dev Kit 2023☆25Sep 2, 2023Updated 2 years ago
- ☆13Dec 23, 2016Updated 9 years ago
- Go implementation of the Peer-to-Peer Streaming Peer Protocol (rfc7574)☆11Sep 24, 2017Updated 8 years ago