Home » Blog » Categories » Product News

Product News

How PVS-Studio does the bug search: methods and technologies

By Andrey Karpov | Jan 12, 2017 05:41 AM | Tags: static code analysis pvs-studio c++

PVS-Studio is a static code analyzer, that searches for errors and vulnerabilities in programs written in C, C++ and C#. In this article, I am going to uncover the technologies that we use in PVS-Studio analyzer. In addition to the general theoretical information, I will show practical examples of how certain technology allows the detection of bugs.

How PVS-Studio does the bug search: methods and technologies

by Andrey Karpov

From the article:

The definition of the pattern looks quite simple, but in practice the implementation of the diagnostic is quite complicated. It's not enough just to analyze only "#define RShift(a) a >> 3". If warnings are issued for all strings of this kind, there will be too many of them. We should have a look at the way the macro expands in every particular case, and try to define the situations where it was done intentionally, and when the brackets are really missing.

 

A new way of blogging about C++--Yehonathan Sharvit

By Adrien Hamelin | Jan 3, 2017 01:40 PM | Tags: community

A very interesting plugin for our blogs:

A new way of blogging about C++

by Yehonathan Sharvit

From the article:

This blog post is about to show a new way of blogging about C++.

Look at a typical blog post about C++: The post usually presents a couple of code snippets. As I see it, there are two pains with code snippets:

  1. they contain the input and the output but not the actual evaluation of the input
  2. it’s impossible for the reader to modify the output...

Flip, a new data model C++ framework focused on real time collaboration

By Gregory Makles | Dec 21, 2016 01:39 AM | Tags: None

Irisate has made available a demo package of Flip, a C++ Framework allowing for a fast, efficient and reliable implementation of concurrent editing by multiple users.

Flip, a new data model C++ framework focused on real time collaboration

by Gregory Makles

From the article:

Flip is a data model library designed as a framework. It is real-time, collaboration-oriented, transactional, portable, compact and can handle complex data structures.

Essential Features

  • Single author applications can be adapted to support simultaneous co-authoring with no extra work
  • Undo/Redo and history are automatically handled (no action classes)
  • Copy/Paste can be done automatically, or refined to your needs and your data structure
  • Allows for offline mode and three-ways merge
  • Multi-threaded/multi-process architecture
  • Transactional
  • Server side is limited to data model code, making it less prone to bugs
  • High stability
  • Performance oriented, extensible, and future-proof document formats
  • At the core of Ohm Studio's unrivaled collaboration solution
  • Designed for easy integration with all kind of data structure, including decade(s) old ones

Registration is necessary to download Flip.

How to use PVS-Studio for free

By Andrey Karpov | Nov 30, 2016 01:13 AM | Tags: static code analyzer pvs-studio free devtools devops

We want to help the software world improve the quality of their code, and get to know static analysis tools better. We are giving the opportunity to use PVS-Studio static code analyzer for free, for educational purposes, so that individual developers and enthusiastic teams could also fully use it.

How to use PVS-Studio for free

by Andrey Karpov

From the article:

Some developers may say that they don't want to see two additional lines of code at the beginning of the file with the comments not related to the project itself. It is their right, and they may simply not use the tool. Or they can purchase a commercial license, and use it without any restrictions. We see these comments as a gratuity for the provided license, and also as an additional way to promote our product. I think it's a good, fair exchange.

CLion 2016.3 released--Anastasia Kazakova

By Adrien Hamelin | Nov 23, 2016 12:29 PM | Tags: efficiency community

The new CLion is here!

CLion 2016.3 released

by Anastasia Kazakova

From the article:

In its third and final update this year, our cross-platform C/C++ IDE gets a firmer handle on modern language standards, incorporates top-voted changes in working with CMake project model, and brings lots of other enhancements. Take a closer look at these and other capabilities available in CLion 2016.3:

  • C++ language support: user-defined literals, C++14 digit separator, overload resolution support, and dozens of code analysis improvements.
  • C language support: C11 keywords support including auto-completion.
  • Remote GDB debug on Windows platform.
  • New approach to CMake project model: allows you to select the generation directory, open a project from an existing generation folder, and more.
  • Automatic switching of resolve context per build/run configuration change.
  • Semantic highlighting in the editor.
  • For Unreal Engine developers: plugin for better completion for Unreal Engine 4 sources, 3rd party plugin for CMake generation, and performance improvements for project re-opening in CLion.
  • Doxygen tparam tag support.
  • Various VCS improvements.

JFrog acquires Conan.io C++ package manager

By Jordi Mon Companys | Nov 23, 2016 06:14 AM | Tags: community

JFrog DevOps firm acquires open source C++ package manager Conan.io

DevOps firm JFrog acquires Spain’s Conan

From the article:

“Our vision is aligned with JFrog’s. Conan will now utilize JFrog’s Enterprise-ready solutions in order to build and release C/C++ packages, and empowering JFrog’s products with Conan will open a whole new automated world for the C/C++ community,” said Martinez de Bartolomé.

Give Visual C++ a Switch to Standard Conformance--Andrew Pardoe

By Marco Arena | Nov 22, 2016 06:38 AM | Tags: visual studio

The Visual C++ Team is excited to announce that the compiler in Visual Studio 2017 RC will feature a mode much closer to ISO C++ standards conformance than any time in its history:

Give Visual C++ a Switch to Standard Conformance

by Andrew Pardoe

From the article:

The Visual C++ Team is previewing a compiler mode whereby longstanding non-conforming C++ constructs are rejected.  This includes fixes to pre-C++11 non-conformance bugs that affect a significant amount of existing code...

Compiler Explorer's embedded view--Matt Godbolt

By Adrien Hamelin | Nov 4, 2016 01:14 PM | Tags: community

An interesting tool:

Compiler Explorer's embedded view

by Matt Godbolt

From the article:

Today I updated Compiler Explorer to support better sharing, specifically to allow embedding a Compiler Explorer view into another site, useful for blog posts that wish to demonstrate how compilers generate code, or how language constructs actually become assembly...