Index of values


A
add [State_builder.Hashtbl]
Add a new binding.
add_code_transformation_after_cleanup [File]
Same as above, but the hook is applied after clean up.
add_code_transformation_before_cleanup [File]
add_code_transformation_before_cleanup name hook adds an hook in the corresponding category that will be called during the normalization of a linked file, before clean up and removal of temps and unused declarations.

C
clear [State_builder.Hashtbl]
Clear the table.
compute [Register]
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
create_project_from_visitor [File]
Return a new project with a new cil file representation by visiting the file of the current project.
create_rebuilt_project_from_visitor [File]
Like File.create_project_from_visitor, but the new generated cil file is generated into a temp .i or .c file according to preprocess, then re-built by Frama-C in the returned project.

F
find [State_builder.Hashtbl]
Return the current binding of the given key.
find_all [State_builder.Hashtbl]
Return the list of all data associated with the given key.
fold [State_builder.Hashtbl]
fold_sorted [State_builder.Hashtbl]
from_filename [File]
Build a file from its name.

G
get [Register]
get_all [File]
Return the list of toplevel files.
get_name [File]
File name.
get_preprocessor_command [File]
Return the preprocessor command to use.
get_suffixes [File]

I
init_from_c_files [File]
Initialize the cil file representation of the current project.
init_from_cmdline [File]
Initialize the cil file representation with the file given on the command line.
init_project_from_cil_file [File]
Initialize the cil file representation with the given file for the given project from the current one.
init_project_from_visitor [File]
init_project_from_visitor prj vis initialize the cil file representation of prj.
iter [State_builder.Hashtbl]
iter_sorted [State_builder.Hashtbl]

J
journalized_get [Register]

L
length [State_builder.Hashtbl]
Length of the table.

M
main [Register]
make_type [Datatype.Hashtbl]
mem [State_builder.Hashtbl]
memo [State_builder.Hashtbl]
Memoization.
memo [Datatype.Hashtbl]
memo tbl k f returns the binding of k in tbl.
must_recompute_cfg [File]
must_recompute_cfg f must be called by code transformation hooks when they modify statements in function f.

N
new_file_type [File]
new_file_type suffix func funcname registers a new type of files (with corresponding suffix) as recognized by Frama-C through func.
new_machdep [File]
new_machdep name module registers a new machdep name as recognized by Frama-C through The usual uses is Cmdline.run_after_loading_stage (fun () -> File.new_machdep "my_machdep" (module My_machdep_implem: Cil.Machdeps))

P
pre_register [File]
Register some file as source file before command-line files
prepare_from_c_files [File]
Initialize the AST of the current project according to the current filename list.
pretty_ast [File]
Print the project CIL file on the given Formatter.

R
register_code_transformation_category [File]
Adds a new category of code transformation
remove [State_builder.Hashtbl]
reorder_ast [File]
reorder globals so that all uses of an identifier are preceded by its declaration.
reorder_custom_ast [File]
replace [State_builder.Hashtbl]
Add a new binding.