Проверьте elsa, он использует алгоритм обобщенного LR.
Его основное использование для C ++, но он также анализирует код C.
Проверьте на странице , в разделе "Сколько C может анализировать Эльза?" в котором говорится, что он может анализировать большинство программ на C, включая ядро Linux.
Выпущено по лицензии BSD.