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
Sorting:
- Примеры использования потоков в C++☆10Apr 15, 2017Updated 8 years ago
- Gradle Plugin for building SonarQube plugins.☆20Dec 6, 2017Updated 8 years ago
- Example code for the startKIT developer board☆23Dec 11, 2014Updated 11 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- HeadsUp License API and Manager☆15Oct 12, 2020Updated 5 years ago
- A live compiler diagnostics extension for Atmel Studio☆18Nov 20, 2015Updated 10 years ago
- Example code to help getting start with SootUp☆14Aug 7, 2025Updated 7 months ago
- A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages☆13May 4, 2015Updated 10 years ago
- Fireline,a static code analysis program to look for bugs in Java code.☆10Nov 21, 2022Updated 3 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 15 years ago
- A Java framework for testing multithreaded code.☆13Oct 26, 2018Updated 7 years ago
- The GitHub "Trending" that makes sense☆12Dec 25, 2021Updated 4 years ago
- Parsing Expression Grammar parser making heavy use of Java 8 lambda expressions☆10Oct 29, 2016Updated 9 years ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 8 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
- This is a simple sample c++ project with Gitlab CI hooks☆10Jul 23, 2024Updated last year
- ⚙️ BeagleBone Black PREEMPT RT patch using OSADL patches and linux 3.12☆11Feb 18, 2015Updated 11 years ago
- Internet Explorer Organization Page☆23Oct 31, 2018Updated 7 years ago
- ☆12Dec 15, 2019Updated 6 years ago
- ☆15Feb 12, 2018Updated 8 years ago
- How hard could it be to replace SBT?☆59Sep 4, 2020Updated 5 years ago
- Playground for better understanding Web APIs☆19Jan 21, 2021Updated 5 years ago
- Basic Web API Examples of NodeServices☆10Aug 15, 2017Updated 8 years ago
- 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
- Probabilistic machine learning for reconstruction and parametrization of electronic band sturcture from photoemission spectroscopy data☆14Nov 5, 2025Updated 4 months ago
- vehicle-app-cpp-sdk☆13Dec 15, 2025Updated 3 months ago
- lightweight, reliable and high-performance HTTP cache, based on file, suitable for CDN especially.☆12Dec 5, 2016Updated 9 years ago
- Intro-presentation about Rust.☆11Oct 16, 2019Updated 6 years ago
- Please use the new mirrror https://github.com/EiffelSoftware/es-libraries☆11Sep 19, 2025Updated 6 months ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- ANTARES Visualizations☆22Jan 3, 2025Updated last year
- ☆11Dec 31, 2014Updated 11 years ago
- Code repository for the "Advanced Eclipse plug-in development" book 978-1783287796☆20Dec 12, 2014Updated 11 years ago
- Mono/.NET bindings for ChakraCore☆14Aug 18, 2018Updated 7 years ago
- .NET Standard compatible Slack RTM client☆10Sep 14, 2022Updated 3 years ago
- Oddly enough, a Scala wrapper for Typesafe's (pure-Java) Config library.☆31Oct 15, 2013Updated 12 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