magicgoose/pvs-studio-check-list

Offer an interesting project for PVS-Studio analysis.

A list of projects to check by PVS-Studio analyzer

We will choose interesting projects from this list to write articles about the checks with the description of interesting errors.

The whole list of projects that we wrote the articles about: click

Projects in C/C++ (go to C#)

• Juce - JUCE (Jules' Utility Class Extensions) is an all-encompassing C++ framework for developing cross-platform software.

  • https://www.juce.com/
  • https://github.com/julianstorer/JUCE

• Wayland

  • Wayland is intended as a simpler replacement for X, easier to develop and maintain.
  • https://wayland.freedesktop.org/
  • https://cgit.freedesktop.org/wayland
  • https://github.com/wayland-project/wayland

• X.Org

  • The X.Org project provides an open source implementation of the X Window System.
  • https://www.x.org/wiki/
  • https://cgit.freedesktop.org/xorg/xserver
  • https://github.com/wereHamster/xorg-server

• LXDE

  • LXDE (Lightweight X11 Desktop Environment) is a desktop environment which is lightweight and fast.
  • http://lxde.org/
  • https://wiki.lxde.org/en/Main_Page
  • https://git.lxde.org/gitweb/

• Git

  • Git is a free and open source distributed version control system.
  • https://git-scm.com/
  • https://github.com/git/git/

• BusyBox

  • BusyBox combines tiny versions of many common UNIX utilities into a single small executable.
  • https://www.busybox.net/
  • https://git.busybox.net/busybox/

• ToaruOS

  • 1.0 release of ToaruOS.
  • http://www.toaruos.org/
  • https://github.com/klange/toaruos

• Erlang/OTP

  • Erlang/OTP (Open Telecom Platform) is a programming language.
  • http://www.erlang.org/
  • https://github.com/erlang/otp/

• Midnight Commander

  • GNU Midnight Commander is a free cross-platform orthodox file manager.
  • https://midnight-commander.org/
  • https://github.com/MidnightCommander/mc

• qBittorrent

  • The qBittorrent project aims to provide a Free Software alternative to µtorrent.
  • http://www.qbittorrent.org/
  • https://github.com/qbittorrent/qBittorrent

• libtorrent

  • libtorrent is a feature complete C++ bittorrent implementation focusing on efficiency and scalability.
  • http://libtorrent.org/
  • https://github.com/arvidn/libtorrent

• Transmission

  • Transmission is a cross-platform torrent client with GUI and web interface.
  • https://transmissionbt.com/
  • https://github.com/transmission/transmission

• Mesa

  • The Mesa 3D Graphics Library.
  • https://mesa3d.org/
  • https://cgit.freedesktop.org/mesa/mesa/

• DIVINE 4

  • DIVINE is a modern, explicit-state model checker.
  • https://divine.fi.muni.cz/

• zsh

  • zsh is a modern shell for *nix systems.
  • http://zsh.org/
  • https://sourceforge.net/p/zsh/code/ci/master/tree/

• ArangoDB

  • ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values.
  • https://www.arangodb.com
  • https://github.com/arangodb/arangodb

• Apache Traffic Server

  • Apache Traffic Server™ software is a fast, scalable and extensible HTTP/1.1 compliant caching proxy server.
  • http://trafficserver.apache.org/
  • http://trafficserver.apache.org/downloads

• ownCloud

  • ownCloud - a personal cloud which runs on your own server.
  • https://owncloud.org/
  • https://github.com/owncloud/client

• FFmpeg

  • FFmpeg is a CLI tool for processing, converting and analyzing audio and video data
  • https://github.com/FFmpeg/FFmpeg
  • git://source.ffmpeg.org/ffmpeg.git
  • https://ffmpeg.org/

• Sumatra PDF

  • Sumatra PDF is a free PDF, eBook (ePub, Mobi), XPS, DjVu, CHM, Comic Book (CBZ and CBR) reader for Windows.
  • https://www.sumatrapdfreader.org/free-pdf-reader.html
  • https://github.com/sumatrapdfreader/sumatrapdf

• Xen

  • Xen is a Virtual Machine Monitor (VMM).
  • https://www.xenproject.org/
  • https://github.com/mirage/xen

• Themis

  • Themis provides strong, usable cryptography for busy people.
  • https://cossacklabs.com/themis
  • https://github.com/cossacklabs/themis

• GnuCash

  • GnuCash is a personal finance manager.
  • https://www.gnucash.org/
  • https://github.com/Gnucash/gnucash

• Pidgin

  • Pidgin is a free and open-source multi-platform instant messaging client.
  • https://pidgin.im/
  • https://bitbucket.org/pidgin/main/src

• Tox

  • secure messenger with audio and video chat capabilities.
  • https://tox.chat/
  • https://github.com/TokTok/c-toxcore
  • https://github.com/qTox/qTox (client)

• VeraCrypt

  • VeraCrypt is a free disk encryption software based on TrueCrypt 7.1a.
  • https://sourceforge.net/projects/veracrypt/
  • https://github.com/veracrypt/VeraCrypt

• DeaDBeeF

  • DeaDBeeF is a music player for Unix-like systems and OS X.
  • http://deadbeef.sourceforge.net/
  • https://github.com/Alexey-Yakovenko/deadbeef

• VLC media player

  • VLC is a free and open source cross-platform multimedia player and framework.
  • http://www.videolan.org/vlc/index.html
  • http://git.videolan.org/?p=vlc.git
  • https://github.com/videolan/vlc

• OBS Studio

  • OBS Studio is a free and open source software for video recording and live streaming.
  • https://obsproject.com/
  • https://github.com/jp9000/obs-studio

• SQLite

  • SQLite is a self-contained, high-reliability, embedded, full-featured, public-domain, SQL database engine.
  • https://www.sqlite.org/
  • https://www.sqlite.org/download.html

• Geany

  • Geany is a small and lightweight Integrated Development Environment.
  • http://geany.org/
  • https://github.com/geany/geany/

• Lua

  • Lua is a small but powerful scripting language, embedded in numerous other products.
  • https://www.lua.org/
  • https://github.com/lua/lua

• Redis

  • Redis is a multi-purpose in-memory data structure store.
  • https://redis.io/
  • https://github.com/antirez/redis

• ImageMagick

  • ImageMagick is a CLI utility for converting, processing, analyzing & generating images with a huge feature set.
  • https://www.imagemagick.org/
  • https://github.com/ImageMagick/ImageMagick

• FreeSWITCH

  • An open-source telephony platform designed to facilitate the creation of voice and chat driven products.
  • https://freeswitch.org/
  • https://freeswitch.org/stash/projects/FS/repos/freeswitch/browse

• Dolphin Emulator

  • Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
  • https://dolphin-emu.org/
  • https://github.com/dolphin-emu/dolphin

• PCSX2

  • PCSX2 is an open-source PlayStation 2 (AKA PS2) emulator.
  • http://pcsx2.net/
  • https://github.com/PCSX2/pcsx2

• Urho3D

  • Urho3D is a free lightweight, cross-platform 2D and 3D game engine.
  • https://urho3d.github.io
  • https://github.com/urho3d/Urho3D

• Avidemux

  • Avidemux is a free video editor designed for simple cutting, filtering and encoding tasks.
  • http://avidemux.sourceforge.net/
  • https://github.com/mean00/avidemux2

• darktable

  • darktable is an open source photography workflow application and raw developer.
  • https://www.darktable.org/
  • https://github.com/darktable-org/darktable

• MKVToolNix

  • MKVToolNix is a set of tools to create, alter and inspect Matroska files under Linux, other Unixes and Windows.
  • https://mkvtoolnix.download/
  • https://github.com/mbunkus/mkvtoolnix

• ppsspp

  • A PSP emulator for Android, Windows, Mac and Linux, written in C++.
  • http://www.ppsspp.org/
  • https://github.com/hrydgard/ppsspp

• V8

  • V8 is Google's open source high-performance JavaScript engine.
  • https://developers.google.com/v8/
  • https://github.com/v8/v8

• nginx

  • nginx is a web server
  • https://nginx.org/
  • https://github.com/nginx/nginx

• Kodi

  • Media center for playing videos, music, pictures, games, and more.
  • https://kodi.tv/
  • https://github.com/xbmc/xbmc

• apt

  • The default package manager for Debian-derived GNU/Linux distros
  • https://anonscm.debian.org/git/apt/apt.git
  • https://github.com/Debian/apt

• Bitcoin Core

  • Bitcoin is a P2P digital currency system. Bitcoin Core is the reference implementation of Bitcoin.
  • https://bitcoin.org/
  • https://github.com/bitcoin/bitcoin/

• Bitcoin Unlimited

  • Bitcoin Unlimited is a proposed hard-fork which increases the max block size.
  • https://bitcoinunlimited.info/
  • https://github.com/BitcoinUnlimited/BitcoinUnlimited/

• AMXModX

  • AMX Mod X is a versatile Half-Life metamod plugin which is targetted toward server administration.
  • http://www.amxmodx.org/
  • https://github.com/alliedmodders/amxmodx/

• QEMU

  • QEMU is a generic and open source machine emulator and virtualizer.
  • http://www.qemu-project.org/
  • https://github.com/qemu/qemu

• Perl 5

  • Practical Extraction and Reporting Language.
  • https://www.perl.org/
  • https://dev.perl.org/perl5/source.html (git://perl5.git.perl.org/perl.git)

• cereal - cereal is a header-only C++11 serialization library.

  • http://uscilab.github.io/cereal/
  • https://github.com/USCiLab/cereal

• Radare2

  • Unix-like reverse engineering framework and commandline tools.
  • https://radare.org
  • https://github.com/radare/radare2

• CMake

  • CMake is an open-source, cross-platform family of tools designed to build, test and package software.
  • https://cmake.org/
  • https://gitlab.kitware.com/cmake/cmake/

• OSSEC

  • Host-based Intrusion Detection System (HIDS).
  • http://ossec.github.io/
  • https://github.com/ossec/ossec-hids

• Ethereum C++ client

  • It is the third most popular of the Ethereum clients.
  • http://www.ethdocs.org/en/latest/ethereum-clients/cpp-ethereum/
  • https://github.com/ethereum/cpp-ethereum

• ROCm OpenOpenCL Runtime

  • ROCm (Radeon Open Compute) is an open source Linux project.
  • https://github.com/RadeonOpenCompute/ROCm-OpenCL-Runtime

Projects in C#

• LINQ to DB

  • LINQ to DB is the fastest LINQ database access library.
  • https://github.com/linq2db/linq2db

• Telerik UI for UWP

  • Source code for Telerik UI for Universal Windows Platform (UWP), which includes 20+ UI controls.
  • http://www.telerik.com/universal-windows-platform-ui
  • https://github.com/telerik/UI-For-UWP

• The Reactive Extensions for .NET

  • Reactive extensions are an implementation of the Observer pattern "done right".
  • http://reactivex.io/
  • https://github.com/Reactive-Extensions/Rx.NET

• RestSharp

  • Simple REST and HTTP API Client for .NET.
  • http://restsharp.org/
  • https://github.com/restsharp/RestSharp

• Fluent.Ribbon

  • WPF Ribbon control like in Office 2010, 2013 and Windows 8.
  • http://fluentribbon.github.io
  • https://github.com/fluentribbon/Fluent.Ribbon

• Caliburn.Micro

  • MVVM framework, designed for building applications across all XAML platforms.
  • http://caliburnmicro.com/
  • https://github.com/Caliburn-Micro/Caliburn.Micro

• Akka.Net

  • Akka.NET is a community-driven port of the popular Java/Scala framework Akka to .NET.
  • http://getakka.net/
  • https://github.com/akkadotnet/akka.net