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

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;
}

任何建议表示赞赏。