Looks like what I've been looking for--a ready-made parser for C that's made for exposing the structure of the source code for analysis

" ... It’s really as simple as that. Passing the type values to the typesig method just prior to a method declaration give the cue to the Types framework to perform some extra work on each call that method ... " They still don't get it. Everything that could be checked statically, should be checked statically. Runtime assertions are a really, really poor alternative