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#)

• Erlang/OTP

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

• 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

• 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/

• 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

• 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 (there are several ways to get sources)

• 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

• 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

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