The article describes a new direction in development of static code analyzers - verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel Lint".
Summary related information how to cross compile projects using -32 and -m64
/Za equivalent in Linux is -strict-ansi strict Ansi-compliance
The Computing Language Utility (CLU) is a lightweight API designed to help programmers explore, learn, and rapidly prototype programs with OpenCL.
Introduction A Brief History of Quicksort