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

• 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

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

Projects in C#

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