A course on static analysis

Andrey Karpov
Articles: 390


Some time ago we communicated with TEKAMA Company about developing a course on static analysis for one of their corporate clients. Unfortunately, the project has not been implemented but we are still ready to develop theoretical and practical courses in this sphere. If you are interested in courses in the saphere of increasing software quality and code verification, write to us, we are likely to find mutual interests.

To make clear what exactly these courses include let's study the contents of the two courses we have been planning to develop for TEKAMA Company. The first course is theoretical, the second is practical.

The first section of the course is of theoretical character and is intended for familiarizing the attendees with the methodology of static analysis and the principles it is based on. The course is meant for developers using C/C++ programming languages within the framework of Visual Studio 2008 environment. But it concerns many theoretical issues such as estimating the cost of a program project, metrics' types, etc, what can be interesting for developers using any development environments.

The second section is of practical character and is intended for familiarizing the attendees with some static analysis tools and methods of using them. The course is meant for developers using C/C++ programming languages within the framework of Visual Studio 2008 development environment. In the second section of the course we can touch upon the ways of applying practical studies on getting acquainted with the tools. As the authors of the course we can provide Viva64 and VivaMP tools free for the attendees to get acquainted with the working principles of static analyzers. If it is interesting to arrange practical studies on the basis of other tools, we should discuss this possibility and the budget for purchasing them separately.



Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;

Andrey Karpov
Articles: 390


Bugs Found

Checked Projects
386
Collected Errors
13 991
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →
Accept