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