Frama-C:
Plug-ins:
Libraries:

Frama-C API - Parse_env

val open_source : scan_references:bool -> Fclib.Filepath.t -> (string, string) Stdlib.result
val set_workdir : Fclib.Filepath.t -> Fclib.Filepath.t -> unit
val get_workdir : Fclib.Filepath.t -> Fclib.Filepath.t option