Validator of the C abstract syntax for tools.
Besides syntactic validity, C code must satisfy a number of additional constraints in order to be compiled. These constraints form the static semantics of C. C compilers check that the code satisfies these constraints prior to translating it.
Here we provide a validator of C code, whose purpose is to check those constraints, i.e. to check whether the C code is valid and compilable. This work has just started: we may start with a partial validator, which we will extend to a full validator.