We pay much attention to writing and publishing articles here in OOO "Program Verification Systems". On the "Articles" page of out site more than 40 various articles concerning static code analysis, 64-bit and parallel applications development are laid out. Many of them are written by the company employees, but there are also articles written by other people.
However, writing articles, we began to notice more often that not all topics which we want to speak on can fit the format of our ordinary article. Sometimes, just an item would be enough. For this reason, we have decided to launch a blog in which our employees could express their thoughts interesting to other people.
Unfortunately, we must make the PVS-Studio 4.00 static analyzer completely paid. We intended to make only the set of 64-bit rules paid while keeping the general analysis and OpenMP-software analysis free. But the world is stern and we've found no support.