Kernel_ast (frama-c-server.Server.Kernel

module Position : Data.S with type t = Frama_c_kernel.Filepath.position

Represented by a Json record with file, dir, basename, line

val jFunction : Package.jtype

Json key representing a function name

module Function : Data.S with type t = Frama_c_kernel.Cil_types.kernel_function

Represented by the function name as jFunction.

module Fundec : Data.S with type t = Frama_c_kernel.Cil_types.fundec

Represented by the function name as jFunction.

Ast Markers

module Marker : sig ... end

Exported as Json string with their unique tag.

Ast Markers of Specific Kinds

module Lval : sig ... end

Markers that are l-values.

module Stmt : Data.S with type t = Frama_c_kernel.Cil_types.stmt

Markers that are statements.

module Kinstr : Data.S with type t = Frama_c_kernel.Cil_types.kinstr

Optional markers interpreted as kinstr.

module Location : Data.S with type t = Function.t * Marker.t

Represented as a Json record with function name and marker tag.

Ast Printer

module Printer : Frama_c_kernel.Printer_tag.S_pp

Ast Information

module Information : sig ... end

Globals

module Functions : sig ... end