Frama-C API - Frontc
add a syntactic transformation that will be applied to all freshly parsed C files.
val parse : original:Filepath.t -> Filepath.t -> Cil_types.file * Cabs.file
the main command to parse a file. Return a thunk that can be used to convert the AST to CIL. original
is the original C file before preprocessing, used to print user-friendly filepath in error messages.