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.

B
blit [String]
Same as Bytes.blit_string.

C
capitalize [String]
Return a copy of the argument, with the first character set to uppercase.
clear [State_builder.Hashtbl]
Clear the table.
compare [String]
The comparison function for strings, with the same specification as Pervasives.compare.
compute [Register]
concat [String]
String.concat sep sl concatenates the list of strings sl, inserting the separator string sep between each.
contains [String]
String.contains s c tests if character c appears in the string s.
contains_from [String]
String.contains_from s start c tests if character c appears in s after position start.
copy [Datatype.S]
Deep copy: no possible sharing between x and copy x.
copy [String]
Return a copy of the given string.
create [String]
String.create n returns a fresh byte sequence of length n.
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.

E
escaped [String]
Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml.

F
fill [String]
String.fill s start len c modifies byte sequence s in place, replacing len bytes with c, starting at start.
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 [String]
String.get s n returns the character at index n in string s.
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
index [String]
String.index s c returns the index of the first occurrence of character c in string s.
index_from [String]
String.index_from s i c returns the index of the first occurrence of character c in string s after position i.
init [String]
String.init n f returns a string of length n, with character i initialized to the result of f i (called in increasing index order).
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 [String]
String.iter f s applies function f in turn to all the characters of s.
iter_sorted [State_builder.Hashtbl]
iteri [String]
Same as String.iter, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument.

J
journalized_get [Register]

L
length [State_builder.Hashtbl]
Length of the table.
length [String]
Return the length (number of characters) of the given string.
lowercase [String]
Return a copy of the argument, with all uppercase letters translated to lowercase, including accented letters of the ISO Latin-1 (8859-1) character set.

M
main [Register]
make [String]
String.make n c returns a fresh string of length n, filled with the character c.
make_type [Datatype.Hashtbl]
map [String]
String.map f s applies function f in turn to all the characters of s (in increasing index order) and stores the results in a new string that is returned.
mapi [String]
String.mapi f s calls f with each character of s and its index (in increasing index order) and stores the results in a new string that is returned.
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" my_machdep_implem)

P
plus_pi [Register]
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
rcontains_from [String]
String.rcontains_from s stop c tests if character c appears in s before position stop+1.
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.
rindex [String]
String.rindex s c returns the index of the last occurrence of character c in string s.
rindex_from [String]
String.rindex_from s i c returns the index of the last occurrence of character c in string s before position i+1.

S
selection_command_line_option [Register]
set [String]
String.set s n c modifies byte sequence s in place, replacing the byte at index n with c.
sub [String]
String.sub s start len returns a fresh string of length len, containing the substring of s that starts at position start and has length len.

T
trim [String]
Return a copy of the argument, without leading and trailing whitespace.

U
uncapitalize [String]
Return a copy of the argument, with the first character set to lowercase.
uppercase [String]
Return a copy of the argument, with all lowercase letters translated to uppercase, including accented letters of the ISO Latin-1 (8859-1) character set.