HOME  PRODUCTS  |  PROCESSOR SUPPORT |  OUR PARTNERS  |  SALES ENQUIRIES  |  TECHNICAL SUPPORT  |   CAREERS  |  CONTACT US  
   

 

We promote Code Analysis tools from "Program Verification Systems" and "CppDepend". More details are below:

PVS-Studio Static Code Analyzer for C/C++/C++0x

PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++0x applications. There are 3 sets of rules included into PVS-Studio:

Diagnosis of 64-bit errors (Viva64)

Diagnosis of parallel errors (VivaMP)

General-purpose diagnosis

The PVS-Studio tool is intended for developers of contemporary applications and it integrates into the Visual Studio 2005/2008/2010 environment providing the programmer with a convenient user interface to analyze files, navigate through code and get reference information. You do not need to study documentation and settings preliminarily to work with the analyzer. The analyzer is ready to work right after it is installed.

The methodology of static code analysis we employ has significant advantages over other types of analysis since it allows you to cover the whole program code. The procedure of code check cannot damage the code itself in any way. The analysis process is completely controlled by person and it is the programmer who decides if it needs modification.

The general-purpose rule set lets you detect logical errors, misprints, code fragments causing access violation, incorrect use of STL library algorithms, etc.

When choosing rules to implement in PVS-Studio, we proceed from their relevance first of all. We consciously refuse to implement such standards as MISRA since most of recommendations described there are of little help to developers using contemporary tools such as Visual Studio and such libraries as STL, MFC, Qt and Boost. In PVS-Studio, we try to implement diagnoses that consider not only C/C++ language's specifics but higher-level patterns and interaction of code and libraries as well. Many checks are unique and have not been implemented in analyzers familiar to us.Error patterns detected by PVS-Studio are very diverse.

MORE DETAILS>>>>>>>>>

CppDepend accelerate the process of your developement, migration and maintenance.What can CppDepend do for your organization?

Improve your code base quality.

CppDepend is a tool that simplifies managing a complex C\C++ (Native,Mixed and COM) code base. Architects and developers can analyze code structure, specify design rules, do effective code reviews and master evolution by comparing different versions of the code.

Automate your C\C++ code review and audit

CQL language gives you a flexibility to create your custom queries and have a deep view of your code base. With CQL you can automate your code review,and integrate it to your build process using CppDepend Console. CppDepend could be also very useful to audit the code base before refactoring.

Assist your migration.

Understanding the existing code base is primordial before any migration. CppDepend helps you in your migration process.

The following are the important features:

Code Query Language (CQL)

Compare Builds

60 code metrics

Manage Complexity and Dependencies

Detect Dependency Cycles

Enforce Immutability and Purity

Generate custom report from your Build Process

Diagrams

MORE DETAILS>>>>>>>>>

 

 Home| Products | Processor support | Our Partners | Sales Enquiries | TechnicalSupport | Careers | Contact Us
Copyright 2009 @ Uchi Embedded Solutions.