pointer aliasing checking for
Is there any software tool, commercial or free that will detect pointer aliasing. I know what it is, but I believe that it is awfully hard to detect by inspecting the c source code.
It just seems that any effort to find pointer aliasing by inspection is bound to fail. A software program should be the way to go. But which software program?
Most parallell compilers, for example, warn against inspecting the c source code for data races. The chances are high that you will miss some of them. They usually include a software tool or option that will detect data races.
I am also aware that there are different types of aliasing so maybe there is software that can detect one type and not another.
Any help appreciated.
thanks in advance.