用于查找字节序问题的静态分析工具？

Question

是否有类似lint的工具可以检查C代码库中的潜在字节序问题？在网络编程或文件传输等数据共享期间检测此类问题的工具可能是不现实的。但检查指针滥用应该不那么难，对吧？

基本上，我想要一种工具来检测类似于以下代码片段的情况。

#include <stdio.h>

void bar(char *cp)
{
    *cp = 'c';
}

void foo(int *intp)
{
    bar((char*)intp);
}


int main(void)
{
    int a = 0xAABBCCDD;

    foo(&a);

    printf("a = %d\n", a);

    return 0;
}

任何建议都表示赞赏。