Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Unix_dirs`

val home : unit -> Fclib.Filepath.t

val env_or_default : string -> string list -> Fclib.Filepath.t

val cache : unit -> Fclib.Filepath.t

val config : unit -> Fclib.Filepath.t

val state : unit -> Fclib.Filepath.t

Frama-C API - Unix_dirs