static code analysis tools for spotting 64bit portability problems?

Question

I am looking for the best way to convert large amounts of code to 64bit. It was suggested to me that I look into some static code analysis tools such as cpptest to spot the portability problems. Does anyone have any suggestions for me as to what I could use? Or an efficient way to port code to 64-bit?

environment: windows, vs2008 (I know about the "Detect 64-bit Portability Issues" option in VS but I need better).

example: a tool that would pick up this obvious type of 64bit portability bugs.

for (int i = 0; i < 64; i++)
{
    __int64 n64 = (1 << i); // Does not generate warning
}

Answer 1

Try PVS-Studio: http://pvs-studio.viva64.com/, it provides specific rule set to spot 64-bit portability issues