Static code analysis for verification of the 64-bit applications
Andrey Karpov, Evgenii Ryzhkov
The coming of 64-bit processors to the PC market causes a problem which the developers have to solve: the old 32-bit applications should be ported to the new platform. After such code migration...
...
