怎么使用yacc分析c语言程序

如何使用yacc分析c语言程序？
我想利用yacc（bison）分析出一个c程序（最多几百行）的所有数组的名称和大小，并在数组使用时判断其是否发生数组越界

希望通过准确率较高的语法分析实现，而不是简单的正则匹配

求指点，小弟不胜感激

去PUDN下个？