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.
|