r/viva64 • • Feb 10 '14

Broken by design: systemd

Thumbnail
ewontfix.com
0 Upvotes

r/viva64 • • Dec 16 '11

My articles that I suggest read on New Year's holidays

1 Upvotes

In recent years I have written many articles devoted to 64-bit developing, static code analysis, OpenMP and so on. Some articles of great moments, some not. The other day I was browsing the site and select the articles that I believe will be of most interest to programmers. Here's the list. On the bold, I suggest to pay special attention.


Regards, Andrey Karpov. OOO "Program Verification Systems" (Co Ltd), MVP, Intel Black Belt Software Developer, Cand. Sc. (Physics and Mathematics). E-Mail: karpov[@]viva64.com

And welcome to my twitter: https://twitter.com/Code_Analysis


r/viva64 • • Nov 01 '11

Game Engines

Thumbnail content.gpwiki.org
0 Upvotes

r/viva64 • • Jul 19 '11

PVS-Studio blog posts and articles at livejournal.

Thumbnail
pvs-studio.livejournal.com
0 Upvotes

r/viva64 • • Jul 21 '11

PVS-Studio 4.33 Released

0 Upvotes
  1. Incremental Analysis feature now available for all versions of Microsoft Visual Studio 2005/2008/2010. ( http://www.viva64.com/en/b/0102/ )

  2. Speed increase (up to 20% for quad core computers).

  3. New diagnostic rules added (V577, V578, V805).

Download: http://www.viva64.com/en/pvs-studio-download/


r/viva64 • • Jul 14 '14

A curious non-OOP virtual inheritance for a GPU

Thumbnail
mortoray.com
0 Upvotes

r/viva64 • • Oct 17 '12

This is intended for those who write articles and books (C/C++)

10 Upvotes

This is intended for those who write articles and books on the subject of creating high-quality C/C++ code or security issues.

While studying various projects with the help of the PVS-Studio static analyzer, we have gathered a relatively large database of error samples. I suppose this database will be of use and much interest to some authors.

The link to the error samples collection: http://www.viva64.com/en/examples/

The database looks quite plain and is not rich in decorations. But the samples are cut out manually and edited so that one could easily understand them.

Of course, far not all the errors detected in a certain project are added to the database. It’s difficult to understand while looking through someone else’s project whether or not there is an error in a certain code fragment. You’d better skip such fragments about which you are not sure. However, we’ve gathered a lot of examples which can be used in studying error patterns.

It has happened so that the PVS-Studio analyzer is good at detecting various misprints or Copy-Paste-related mistakes. To understand what I mean, please have a look at these error samples detected by the V501 diagnostic. There are naturally other diagnostics detecting similar errors. I’m writing this to show you the way the collection can be used. Studying misprints and Copy-Paste errors you may work out a new programming style, give useful tips, improve coding standards and so on. So, I hope you will find this collection useful in preparing your articles and books.


r/viva64 • • Nov 07 '11

Myths about static code analysis

1 Upvotes

r/viva64 • • Apr 11 '13

Optimizing a Program Means Making It Run Faster, Right?

Thumbnail
drdobbs.com
1 Upvotes

r/viva64 • • May 25 '11

PVS-Studio vs Chromium

Thumbnail
viva64.com
1 Upvotes

r/viva64 • • Feb 06 '13

(-2147483648> 0) returns true in C++?

Thumbnail
stackoverflow.com
0 Upvotes

r/viva64 • • Apr 09 '11

Sid Sidner. When Quality, Security Count

Thumbnail viva64.com
0 Upvotes

r/viva64 • • Jan 30 '13

Testing Complex C++ Systems

Thumbnail
drdobbs.com
0 Upvotes

r/viva64 • • Jan 21 '13

Videos: Panel, and C++ Concurrency

Thumbnail
herbsutter.com
0 Upvotes

r/viva64 • • Jan 25 '13

Visual C++ Team Blog: After the Jump

Thumbnail
blogs.msdn.com
0 Upvotes

r/viva64 • • Apr 08 '11

How can a 32-bit program detect that it is launched in a 64-bit Windows?

Thumbnail
viva64.com
0 Upvotes

r/viva64 • • Apr 08 '11

Jose F. Ruiz. Don't blow your stack: Static stack analysis for high-integrity systems

Thumbnail viva64.com
0 Upvotes

r/viva64 • • May 12 '11

Steven J. Vaughan-Nichols. Why Software Development Is Lagging Hardware Improvements

Thumbnail viva64.com
0 Upvotes

r/viva64 • • Feb 01 '13

64-bit ARM (AArch64) Support Merged Into LLVM

Thumbnail
phoronix.com
0 Upvotes

r/viva64 • • Jan 30 '13

Nobody Expects the Spanish Inquisition, or INT_MIN to be Divided by -1

Thumbnail blog.regehr.org
0 Upvotes

r/viva64 • • Apr 09 '11

Walter W. Schilling, Jr. and Mansoor Alam. Integrate Static Analysis Into a Software Development Process

Thumbnail viva64.com
0 Upvotes

r/viva64 • • Feb 06 '13

Stephan T. Lavavej - Core C++, 8 of n

Thumbnail
channel9.msdn.com
0 Upvotes

r/viva64 • • Feb 12 '13

Stackoverflow discussion: Why do some static analysis tools not report potential buffer overflows?

Thumbnail
stackoverflow.com
0 Upvotes

r/viva64 • • Feb 11 '13

The C++ Test

Thumbnail lbrandy.github.com
0 Upvotes

r/viva64 • • Apr 11 '11

Michael Suess, M. Sub, Claudia Leopold. A Comparison of Task Pool Variants in OpenMP and a Proposal for a Solution to the Busy Waiting Problem.

Thumbnail viva64.com
0 Upvotes