cil-project.github.io
The full C grammar isn't very long, however, handling cases such as undefined behaviors between types seems to cause trouble.
Reply on news.ycombinator.com