Frama-C:
Plug-ins:
Libraries:

Frama-C API - Parse_env

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