Frontc (frama-c.Frama_c_kernel

val add_syntactic_transformation : (Cabs.file -> Cabs.file) -> unit

add a syntactic transformation that will be applied to all freshly parsed C files.

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf

val parse : 
  original:Fclib.Filepath.t ->
  Fclib.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.

raises Parse_error
if a parsing error occurs