Our main directions are 64-bit and parallel programming. We started with Viva64 creation, a source code static analyzer for programs written in C/C++ languages and designed for 64-bit systems or for being ported to such systems. Later, a tool for parallel programs verification created on OpenMP technology, VivaMP, appeared. At present, both verification tools are combined into one suite, PVS-Studio.
Creation of Code Analyzers
Static code analyzers allow to detect errors in the source code without starting the program itself. These are plug-ins into IDE development environment, which detect possible problem code lines and inform the developer about them, suggesting variants of error correction. Such verification tools evidently speed up errors search and correction and bring down the project cost.
Our company renders services in creation of customized solutions in the sphere of code analysis in C/C++ language. Our main field of activities is 64-bit and parallel programming.
We can execute orders both of code analyzers developers (e.g., we can carry out your secondary project) and of other software developers. However, in the latter case, priority is given to the part relating to testing, quality control, and errors verification of the software.
We can create:
- 64-bit code analyzers designed specially for particular tasks and projects;
- analyzers of parallel programs created on OpenMP, MPI, POSIX Threads and Intel Threading Building Blocks technologies;
- other source code analyzers which meet specific tasks of the customer.
PVS-Studio code analyzer is an example of programs created by us; it demonstrates our facilities.
We compare favorably to many subcontractors because we have considerable experience in creating code analyzers, as well as in creating our library specially for our analyzers – means of verification of 64-bit and parallel programs.
We are ready to consider all the variants of cooperation and to propose optimal conditions of carrying out your projects.
Migration to 64-bit platforms
The process of migration to 64-bit systems occurs at present everywhere, though right now it is not yet very obvious. Writing code analyzers and porting programs to 64-bit platforms is one of the main activities of our company.
We are ready to accomplish code migration and code analysis for preparing a project to work in a 64-bit environment according to the requirements and the terms of the customer. Source code analysis is carried out by Viva64 static code analyzer, which informs the user on incorrect lines in the new code and provides variants of their correction. After that, processing of results takes place, source code correction in incorrect lines is accomplished, and final verification is carried out.
We can accomplish verification of your applications aimed at 64-bit systems, as well as carry out software source code migration to 64-bit platform.
Wide use of multiprocessor systems which has been noticed recently requires the programs being created to correspond such systems, and hence, high reliability of work of multithread applications in such an environment. However, quite often developers may not know the peculiarities of parallel applications development.
We have considerable experience in creating tools for verification, including parallel programs, and can carry out the development of a parallel version of your application.
We can carry out the verification of the source code of your programs created on OpenMP, MPI, POSIX Threads and Intel Threading Building Blocks technologies. The verification includes processing of results, source code correction in incorrect lines, and final verification.
With the help of our tools, we can carry out both source code verification and its modification so that it could work in a multithreaded environment.