PVS-Studio, a static analyzer detecting errors in the source code of C/C++/C++11 applications.

Slides:

Advertisements

Similar presentations

VirtualSim Inc. Real tools for virtual worlds Presentation.

Advertisements

Total Resource Management RulesManager New Features August 21, 2012 Al Johnson, VP RulesManager Architecht.

XProtect ® Professional Efficient solutions for mid-sized installations.

® IBM Software Group © 2010 IBM Corporation What’s New in Profiling & Code Coverage RAD V8 April 21, 2011 Kathy Chan

Automating with Open Source Testing Tools Corey McGarrahan rSmart 01-July-08.

MONITORING TOOLS Open Source Security Tools to monitor your network.

Mike Azocar Sr. Developer Technical Specialist Microsoft Corporation

Technical Overview. PLEASE READ (hidden slide) To deliver this presentation effectively, you need to be familiar with Windows Server 2008 R2 management.

Slide 1 of 9 Presenting 24x7 Scheduler The art of computer automation Press PageDown key or click to advance.

XP New Perspectives on Microsoft Access 2002 Tutorial 71 Microsoft Access 2002 Tutorial 7 – Integrating Access With the Web and With Other Programs.

Amazon EC2 Quick Start adapted from EC2_GetStarted.html.

Sharepoint Portal Server Basics. Introduction Sharepoint server belongs to Microsoft family of servers Integrated suite of server capabilities Hosted.

Microsoft ® Official Course Monitoring and Troubleshooting Custom SharePoint Solutions SharePoint Practice Microsoft SharePoint 2013.

Nikto LUCA ALEXANDRA ADELA. Nikto  Web server assessment tool  Written by Chris Solo and David Lodge  Released on December 27, 2001  Stable release:

Students: Nadia Goshmir, Yulia Koretsky Supervisor: Shai Rozenrauch Industrial Project Advanced Tool for Automatic Testing Final Presentation.

Microsoft ® Official Course Module 9 Configuring Applications.

Chapter 1 Introduction Outstanding Features About This Book 1. A novel writing style is adopted to try to attract students’ or beginning programmers’ interesting.

Hands-On Microsoft Windows Server 2008 Chapter 1 Introduction to Windows Server 2008.

WebFOCUS Developer Studio Update Dimitris Poulos Technical Director September 3, 2015 Copyright 2009, Information Builders. Slide 1.

®® Microsoft Windows 7 for Power Users Tutorial 8 Troubleshooting Windows 7.

COMPUTER SOFTWARE Section 2 “System Software: Computer System Management ” CHAPTER 4 Lecture-6/ T. Nouf Almujally 1.

Hands-On Microsoft Windows Server 2008 Chapter 1 Introduction to Windows Server 2008.

WORK ON CLUSTER HYBRILIT E. Aleksandrov 1, D. Belyakov 1, M. Matveev 1, M. Vala 1,2 1 Joint Institute for nuclear research, LIT, Russia 2 Institute for.

Microsoft ® Official Course Module 10 Optimizing and Maintaining Windows ® 8 Client Computers.

1 Apache. 2 Module - Apache ♦ Overview This module focuses on configuring and customizing Apache web server. Apache is a commonly used Hypertext Transfer.

© All rights reserved. U.S International Tech Support

UCSC All rights reserved. No part of this material may be reproduced and sold. 1 IT1202-Fundamentals Of Programming (Using JAVA) Interacting with.

Hands-On Microsoft Windows Server 2008 Chapter 1 Introduction to Windows Server 2008.

WebVizOr: A Fault Detection Visualization Tool for Web Applications Goal: Illustrate and evaluate the uses of WebVizOr, a new tool to aid web application.

CHAPTER TEN AUTHORING.

Jump to first page (c) 1999, A. Lakhotia 1 Software engineering? Arun Lakhotia University of Louisiana at Lafayette Po Box Lafayette, LA 70504, USA.

Contents 1.Introduction, architecture 2.Live demonstration 3.Extensibility.

Section 11: Implementing Software Restriction Policies and AppLocker What Is a Software Restriction Policy? Creating a Software Restriction Policy Using.

Development with Eclipse Software Engineering Prof. Werner Krandick.

Introduction to Interactive Media Interactive Media Tools: Authoring Applications.

August 2003 At A Glance The IRC is a platform independent, extensible, and adaptive framework that provides robust, interactive, and distributed control.

Module 9 Planning and Implementing Monitoring and Maintenance.

CSC190 Introduction to Computing Operating Systems and Utility Programs.

Cross Language Clone Analysis Team 2 February 3, 2011.

SPI NIGHTLIES Alex Hodgkins. SPI nightlies  Build and test various software projects each night  Provide a nightlies summary page that displays all.

Module 14: Advanced Topics and Troubleshooting. Microsoft ® Windows ® Small Business Server (SBS) 2008 Management Console (Advanced Mode) Managing Windows.

What Is Firefox? __________ is a Web ___________ that you use to search for and view Web pages, save pages for use in the future, and maintain a list.

V7 Foundation Series Vignette Education Services.

CIS-NG CASREP Information System Next Generation Shawn Baugh Amy Ramirez Amy Lee Alex Sanin Sam Avanessians.

Visual Programming Borland Delphi. Developing Applications Borland Delphi is an object-oriented, visual programming environment to develop 32-bit applications.

Introduction to Algorithm. What is Algorithm? an algorithm is any well-defined computational procedure that takes some value, or set of values, as input.

 1- Definition  2- Helpdesk  3- Asset management  4- Analytics  5- Tools.

Chapter 1 Coding Introduction.

SoftLogica Inc A load testing solution for web applications

Software and Communication Driver, for Multimedia analyzing tools on the CEVA-X Platform. June 2007 Arik Caspi Eyal Gabay.

Tool Support for Testing

JDemetra+ as an innovative tool for seasonal adjustment

Appium Studio Appium testing made easy at any scale.

Windows 2008 Overview Lecture 1.

Current Generation Hypervisor Type 1 Type 2.

Tech Genuine offers interactive and feature-rich ecommerce website solutions which enable clients to market their products and services online. We specialize.

PVS-Studio static analyzer: advanced features

IBM Tivoli NetView V5R3 for z/OS ISA Add-On V4.0.2

Working of Script integrated with SiteScope

Aliexpress Clone Script to Empower Your eCommerce Business

How Can I Download My Transactions Directly Into Quicken

CodePeer Update Arnaud Charlet CodePeer Update Arnaud Charlet

CodePeer Update Arnaud Charlet CodePeer Update Arnaud Charlet

What's New in eCognition 9

DAT381 Team Development with SQL Server 2005

The use of plugins A plugin (or plug-in, or extension) is a component that adds a specific feature to the “standard” Handbook on IT Audit for Supreme Audit.

What's New in eCognition 9

What's New in eCognition 9

Web Application Development Using PHP

WEB DESIGN Cross 11, Tapovan Enclave Nala pani Road, Dehradun : ,

Presentation transcript:

PVS-Studio, a static analyzer detecting errors in the source code of C/C++/C++11 applications.

Code Analysis Features The analyzer includes the following diagnostic rule sets: 1.General analysis diagnostics – over 200 diagnostic rules covering both common and rare errors; 2.Diagnostics for potential optimizations – detection of code fragments in programs that can be optimized; 3.Diagnostics for 64-bit errors – an indispensable tool when porting programs from 32-bit systems to 64-bit ones.

PVS-Studio’s Capabilities 1.Incremental analysis – automatic analysis launch immediately after compilation on the developer’s computer; 2.Online/Offline Help system in Russian and English; 3.Saving and loading of analysis results; 4.Making use of all available cores and physical processors; 5.Estimation of 64-bit code migration complexity; 6.Interactive filters; 7.Comfortable integration into the team development process; 8.Marking out of program code to enable analysis of new code only.

Integration Capabilities An MS Visual Studio plugin Launch from the command line Compiler launch monitoring

Integration with MS Visual Studio The PVS-Studio tool integrates into the Visual Studio 2013, 2012, 2010, 2008, 2005 environment, providing the user with a friendly interface to perform file analysis, code navigation, and get Help information. The analyzer is ready for work right after the installation.

PVS-Studio Standalone PVS-Studio Standalone is a utility that allows you to: 1.View analysis results using code navigation and the Help system without launching MS Visual Studio; 2.Analyze projects with the help of the compiler launch monitoring system during the building process and independently from the build system used; 3.Analyze earlier generated preprocessed files simply specifying the path to these and source files.

Launch from the command line Add an analyzer call into your build script and view the analysis log with the help of the PVS-Studio Standalone utility....cpp.o: $(CXX) $(CFLAGS) $(DFLAGS) $(INCLUDES) $< -o PVS-Studio --cfg PVS-Studio.cfg --source-file $< --cl-params $(CFLAGS) $(DFLAGS) $(INCLUDES)...

Analysis of open-source projects Visit the official PVS-Studio web site for numerous examples of real errors found by our analyzer in hundreds of open-source projects, including even such famous ones as Google Chromium, Qt, Unreal Engine, Oracle Virtual Box, and so on. A regularly updated list:

OOO "Program Verification Systems" What do we do? We develop the PVS-Studio static code analyzer detecting errors in C, C++, C++11 programs. Custom development. Possessing extensive knowledge about how to create safe and reliable C++ and C# code, we offer services of remote software development and improvement.